The way of Z: practical programming with formal methods

other_versions_link
Bibliografski detalji
Glavni autor: Jacky, Jonathan
Format: Printed Book
Jezik:English
Izdano: Cambridge Cambridge University press 1997
Teme:
Z (Computer program language)
Search Result 1
The Way of Z: practical programming with formal methods
od Jacky, Jonathan
Izdano 1997
Printed Book
other_versions_search_link

Similar Items