Understanding formal methods /
Guardado en:
| Autor Principal: | Monin, Jean François, 1960- |
|---|---|
| Otros Autores: | Hinchey, Michael G. 1969- |
| Formato: | Libro |
| Idioma: | English French |
| Publicado: |
London :
Springer,
c2003.
|
| Materias: | |
| Acceso en línea: | Publisher description Table of contents only |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
-
Formal methods in computing /
Publicado: (2005) -
Formal methods in programming and their applications : international conference, Academgorodok, Russia, June/July 1993 : proceedings /
Publicado: (1993) -
Scalable techniques for formal verification /
por: Ray, Sandip.
Publicado: (2010) -
Logic programming : formal methods and practical applications /
Publicado: (1995) -
Z : an introduction to formal methods /
por: Diller, Antoni.
Publicado: (1994)
