Z : an introduction to formal methods /
Guardado en:
Autor Principal: | Diller, Antoni. |
---|---|
Formato: | Libro |
Idioma: | English |
Publicado: |
Chichester, West Sussex, England ; New York :
Wiley & Sons,
1994.
|
Edición: | 2nd ed. |
Materias: | |
Acceso en línea: | Publisher description Table of Contents |
Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
-
Understanding formal methods /
por: Monin, Jean François, 1960-
Publicado: (2003) - 2nd ed. -
Formal methods in computing /
Publicado: (2005) - 2nd ed. -
Formal methods in programming and their applications : international conference, Academgorodok, Russia, June/July 1993 : proceedings /
Publicado: (1993) - 2nd ed. -
Logic programming : formal methods and practical applications /
Publicado: (1995) - 2nd ed. -
Scalable techniques for formal verification /
por: Ray, Sandip.
Publicado: (2010) - 2nd ed.