The way of Z practical programming with formal methods

Détails bibliographiques
Auteur principal:	Jacky, Jonathan
Format:	Livre
Langue:	English
Publié:	New York Cambridge University Press c1997.
Sujets:	Z (Computer program language).