Specification and Transformation of Programs
Subtitle: A Formal Approach to Software Development
Publisher: Springer
Published: 2012
Language: eng
ISBN-13: 9783642615122