The way of Z practical programming with formal methods

Bibliographische Detailangaben
1. Verfasser:	Jacky, Jonathan
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	New York Cambridge University Press c1997.
Schlagworte:	Z (Computer program language).