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

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 D54 1994
Copia 2 Disponible Hacer reserva
Notas:
  • INFOR
Copia 1 Disponible Hacer reserva
Notas:
  • INFOR

Ejemplares similares