The construction of formal specifications an introduction to the model-based and algebraic approaches

Saved in:

Bibliographic Details
Main Author:	Turner, John G
Other Authors:	McCluskey, T. Lee 1957-
Format:	Unknown
Published:	London McGraw-Hill 1994
Series:	The McGraw-Hill International series in software engineering
Subjects:	Software engineering
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet