Software development with Z :
Wordsworth, J. B.
Software development with Z : a practical approach to formal methods in software engineering / J.B/Wordsworth. - Wokingham, England ; Reading, Mass. : Addison-Wesley pub.co., 1992 - xii, 334 p. : ill. ; 24 cm. - International computer science series .
Includes bibliographical references (p. 321-324) and index.
0201627574
Z (Computer program language)
Computer software--Development.
QA76.73.Z2 / W67 1992
Software development with Z : a practical approach to formal methods in software engineering / J.B/Wordsworth. - Wokingham, England ; Reading, Mass. : Addison-Wesley pub.co., 1992 - xii, 334 p. : ill. ; 24 cm. - International computer science series .
Includes bibliographical references (p. 321-324) and index.
0201627574
Z (Computer program language)
Computer software--Development.
QA76.73.Z2 / W67 1992