Specification and Transformation of Programs: A Formal Approach to Software Development (Texts & Monographs in Computer Science)

Specification

by Helmut A. Partsch

Hardcover

ISBN: 978-0-387-52356-9

ISBN-10: 0-387-52356-1

Springer Verlag · 1990
See also:
2008TaschenbuchSpecification and Transformation of Programs: A Formal Approach to Software Development (Springer Texts in Electrical Engineering)
1990Gebundene AusgabeSpecification and Transformation of Programs: A Formal Approach to Software Development (Monographs in Computer Science)