Saltar al contenido
BIBLIOTECAS
  • Idioma
    • Español
    • English
    • Português (Brasil)
    • Deutsch
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • বাংলা
    • Galego
  • Entrar
  • Salir
  • Su cuenta
Avanzado
  • Buscar
  • Modern Formal Methods and Appl...
  • Existencias
  • Citar
  • Enviar este por Correo electrónico
  • Exportar Registro
    • Exportar a RefWorks
    • Exportar a EndNoteWeb
    • Exportar a EndNote
    • Exportar a MARC
    • Exportar a MARCXML
  • Agregar a favoritos
Imagen de Portada

Modern Formal Methods and Applications

Guardado en:
Autor Principal: Gabbar, Hossam A.
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico
Idioma:English
Publicado: Dordrecht : Springer, 2006.
Materias:
Chemistry
Chemistry > Mathematics
Logic design
Computer science
Engineering mathematics
Math. Applications in Chemistry
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Models and Principles
Computational Science and Engineering
Appl.Mathematics/Computational Methods of Engineering
Acceso en línea:SpringerLink, via BECYT
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
  • Existencias
  • Descripción
  • Comentarios
  • Ejemplares similares
  • Vista bibliotecarios
Recurso en línea
SpringerLink, via BECYT

Ejemplares similares

  • Numerical Simulation in Molecular Dynamics Numerics, Algorithms, Parallelization, Applications /
    por: Griebel, Michael.
    Publicado: (2007)
  • Adapting Proofs-as-Programs The Curry-Howard Protocol /
    por: Poernomo, Iman Hafiz.
    Publicado: (2005)
  • B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings /
    por: Julliand, Jacques.
    Publicado: (2006)
  • ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings /
    por: Treharne, Helen.
    Publicado: (2005)
  • Current Trends in High Performance Computing and Its Applications Proceedings of the International Conference on High Performance Computing and Applications, August 810, 2004, Shanghai, P.R. China /
    por: Zhang, Wu.
    Publicado: (2005)

Opciones de búsqueda

  • Historial de Búsqueda
  • Búsqueda Avanzada

Buscar Más

  • Revisar el Catálogo
  • Explorar canales

¿Necesita Ayuda?

  • Consejos de búsqueda
  • Preguntas Frecuentes
  • Contacto
  • Bibliotecas
Cargando...