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
Number of pages: 415
ISBN-13: 9780077077358