The way of Z practical programming with formal methods

Bibliografiska uppgifter
Huvudupphovsman:	Jacky, Jonathan
Materialtyp:	Bok
Språk:	English
Publicerad:	New York Cambridge University Press c1997.
Ämnen:	Z (Computer program language).