The way of Z practical programming with formal methods

Opis bibliograficzny
1. autor:	Jacky, Jonathan
Format:	Książka
Język:	English
Wydane:	New York Cambridge University Press c1997.
Hasła przedmiotowe:	Z (Computer program language).