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)

DCA

Saatavuus: DCA
Hyllypaikka: 004.43 JAC
Nide Reaaliaikaista tietoa ei saatavissa

Samankaltaisia teoksia