An introduction to formal specification and Z

Saved in:

Bibliographic Details
Main Author:	Potter, Ben
Other Authors:	Till, David, Sinclair, Jane
Format:	Unknown
Published:	Harlow Prentice Hall 1996
Edition:	2nd ed
Series:	Prentice Hall International series in computer science
Subjects:	Z (Computer program language) Computer software > Development
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet