The way of Z : practical programming with formal methods /

Detalles Bibliográficos
Autor principal: Jacky, Jonathan
Formato: Libro
Lenguaje:English
Publicado: Cambridge ; New York, NY, USA : Cambridge University Press, 1997.
Materias:
Z (Lenguaje de programación).
Métodos formales (Informática).
Acceso en línea:Table of contents

Ejemplares similares

Ejemplares similares