Foundations of Algebraic Specification and Formal Software Development
Publisher: Springer
Published: Jan 26, 2012
Format: paperback
Number of pages: 600
ISBN-13: 9783642173370