Cargando…
Z : an introduction to formal methods /
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | English |
| Publicado: |
Chichester, West Sussex, England ; New York :
Wiley & Sons,
1994.
|
| Edición: | 2nd ed. |
| Materias: | |
| Acceso en línea: | Table of Contents |
| Descripción Física: | xix, 374 p. : il. ; 25 cm. |
|---|---|
| Bibliografía: | Incluye bibliografía (p. 357-362) e índice. |
| ISBN: | 0471939730 9780471939733 |