The way of Z practical programming with formal methods

Bibliografische gegevens
Hoofdauteur:	Jacky, Jonathan
Formaat:	Boek
Taal:	English
Gepubliceerd in:	New York Cambridge University Press c1997.
Onderwerpen:	Z (Computer program language).