The way of Z: practical programming with formal methods

other_versions_link
Bibliographic Details
Main Author: Jacky, Jonathan
Format: Printed Book
Language:English
Published: Cambridge Cambridge University press 1997
Subjects:
Z (Computer program language)
Search Result 1
The Way of Z: practical programming with formal methods
by Jacky, Jonathan
Published 1997
Printed Book
other_versions_search_link

Similar Items