The Construction of Formal Specifications
Subtitle: An Introduction to the Model-Based and Algebraic Approaches (The Mcgraw-Hill International Series in)
Publisher: Mcgraw Hill Book Co Ltd
Published: December 1, 1993
Language: eng
Format: Paperback
Number of pages: 415
ISBN-13: 9780077077358
Subjects: Computer modelling & simulation; Mathematical theory of computation; Software Engineering; Science/Mathematics