The way of Z: practical programming with formal methods

other_versions_link
Dades bibliogràfiques
Autor principal: Jacky, Jonathan
Format: Printed Book
Idioma:English
Publicat: Cambridge Cambridge University press 1997
Matèries:
Z (Computer program language)

DCA

Detall dels fons de DCA
Signatura: 004.43 JAC
Còpia Comprovació en temps real no disponible

Ítems similars