The Way of Z: practical programming with formal methods

other_versions_link
Bibliographische Detailangaben
1. Verfasser: Jacky, Jonathan
Format: Printed Book
Veröffentlicht: Cambridge, CUP 1997
Schlagworte:
Computer programm language
Search Result 1
The way of Z: practical programming with formal methods
von Jacky, Jonathan
Veröffentlicht 1997
Printed Book
other_versions_search_link

Ähnliche Einträge