Specification and Transformation of Programs
Subtitle: A Formal Approach to Software Development
Publisher: Springer
Published: Nov 02, 2011
Format: paperback
Number of pages: 516
ISBN-13: 9783642615139
Notes: Source title: Specification and Transformation of Programs: A Formal Approach to Software Development