The way of Z: practical programming with formal methods

other_versions_link
Podrobná bibliografie
Hlavní autor: Jacky, Jonathan
Médium: Printed Book
Jazyk:English
Vydáno: Cambridge Cambridge University press 1997
Témata:
Z (Computer program language)
Search Result 1
The Way of Z: practical programming with formal methods
Autor Jacky, Jonathan
Vydáno 1997
Printed Book
other_versions_search_link

Podobné jednotky