The way of Z: practical programming with formal methods

other_versions_link
Detalles Bibliográficos
Autor principal: Jacky, Jonathan
Formato: Printed Book
Lenguaje:English
Publicado: Cambridge Cambridge University press 1997
Materias:
Z (Computer program language)

DCA

Detalle de Existencias desde DCA
Número de Clasificación: 004.43 JAC
Copia Estatus de actividad no disponible

Ejemplares similares