The way of Z practical programming with formal methods

מידע ביבליוגרפי
מחבר ראשי:	Jacky, Jonathan
פורמט:	ספר
שפה:	אנגלית
יצא לאור:	New York Cambridge University Press c1997.
נושאים:	Z (Computer program language).