Specification and Transformation of Programs: A Formal Approach to Software Development (Monographs in Computer Science)
von
Helmut A. Partsch
Gebunden
Details (
Deutschland
)
ISBN: 978-3-540-52356-7
ISBN-10: 3-540-52356-1
Springer
· 1990
S. auch:
2008
Taschenbuch
Specification and Transformation of Programs: A Formal Approach to Software Development (Springer Texts in Electrical Engineering)
1990
Hardcover
Specification and Transformation of Programs: A Formal Approach to Software Development (Texts & Monographs in Computer Science)
