Specification and Transformation of Programs
Subtitle: A Formal Approach to Software Development
Publisher: Springer; Springer Berlin Heidelberg
Published: Jul 05, 1990
Format: paperback
Number of pages: 506
ISBN-13: 9783540525899
Notes: Source title: Specification and Transformation of Programs: A Formal Approach to Software Development (Springer Texts in Electrical Engineering)