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

Internet

Table of contents

Economía, Estadística, Informática y Geografía Xalapa -

Detalle de Existencias desde Economía, Estadística, Informática y Geografía Xalapa -
Número de Clasificación: QA76.73.Z2 J32
Copia 3 Disponible Hacer reserva
Notas:
  • INFOR
Copia 2 Disponible Hacer reserva
Notas:
  • INFOR
Copia 1 Disponible Hacer reserva
Notas:
  • INFOR

Ejemplares similares