Algebraic Specifications in Software Engineering: An Introduction
Publisher: Springer
Published: Dec 19, 1989
Number of pages: 350
ISBN-13: 9783540516262