The way of Z: practical programming with formal methods

other_versions_link
Bibliografiset tiedot
Päätekijä: Jacky, Jonathan
Aineistotyyppi: Printed Book
Kieli:English
Julkaistu: Cambridge Cambridge University press 1997
Aiheet:
Z (Computer program language)
Search Result 1
The Way of Z: practical programming with formal methods
Tekijä Jacky, Jonathan
Julkaistu 1997
Printed Book
other_versions_search_link

Samankaltaisia teoksia