Z : an introduction to formal methods /
Guardado en:
Autor Principal: | |
---|---|
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!
|
Descripción Física: | xix, 374 p. : il. ; 25 cm. |
---|---|
Bibliografía: | Includes bibliographical references (p. 357-362) and index. |
ISBN: | 0471939730 |