Z : an introduction to formal methods /

Detalles Bibliográficos
Autor principal: Diller, Antoni
Formato: Libro
Lenguaje:English
Publicado: Chichester, West Sussex, England ; New York : Wiley & Sons, 1994.
Edición:2nd ed.
Materias:
Z (Lenguaje de programación).
Métodos formales (Informática).
Acceso en línea:Table of Contents

Ejemplares similares

Ejemplares similares