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)

DCA

Informace o exemplářích z: DCA
Signatura: 004.43 JAC
Jednotka Neznámá aktuální dostupnost

Podobné jednotky