Algebraic Specifications in Software Engineering
Subtitle: An Introduction
Publisher: Springer
Published: Dec 29, 2011
Format: paperback
Number of pages: 368
ISBN-13: 9783642750311
Notes: Source title: Algebraic Specifications in Software Engineering: An Introduction