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!
Descripción Física:xix, 374 p. : il. ; 25 cm.
Bibliografía:Includes bibliographical references (p. 357-362) and index.
ISBN:0471939730