The way of Z: practical programming with formal methods

other_versions_link
Bibliografiska uppgifter
Huvudupphovsman: Jacky, Jonathan
Materialtyp: Printed Book
Språk:English
Publicerad: Cambridge Cambridge University press 1997
Ämnen:
Z (Computer program language)

DCA

Beståndsuppgifter i DCA
Signum: 004.43 JAC
Exemplar Status otillgänglig

Liknande verk