The Way of Z: practical programming with formal methods

other_versions_link
Bibliografiska uppgifter
Huvudupphovsman: Jacky, Jonathan
Materialtyp: Printed Book
Publicerad: Cambridge, CUP 1997
Ämnen:
Computer programm language

MG University

Beståndsuppgifter i MG University
Signum: 005.133 Z
005.133 Z N7
Exemplar Status otillgänglig
Exemplar Status otillgänglig

Liknande verk