Cargando…
Understanding formal methods /
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Libro |
| Lenguaje: | English French |
| Publicado: |
London ; New York :
Springer,
c2003.
|
| Materias: |
| Notas: | Esta obra ha sido publicada con la ayuda del French Ministére de la culture--Centre national du livre. |
|---|---|
| Descripción Física: | xv, 275 p. ; 24 cm. |
| Bibliografía: | Incluye bibliografía (p. [255]-267) e índice. |
| ISBN: | 1852332476 9781852332471 |