The way of Z: practical programming with formal methods

other_versions_link
Bibliographische Detailangaben
1. Verfasser: Jacky, Jonathan
Format: Printed Book
Sprache:English
Veröffentlicht: Cambridge Cambridge University press 1997
Schlagworte:
Z (Computer program language)

DCA

Bestandesangaben von DCA
Signatur: 004.43 JAC
Exemplar Live-Status nicht verfügbar

Ähnliche Einträge