Specification and Transformation of Programs: A Formal Approach to Software Development (Springer Texts in Electrical Engineering)

Specification

von Helmut A. Partsch

Taschenbuch

ISBN: 978-3-540-52589-9

ISBN-10: 3-540-52589-0

Springer Berlin Heidelberg · 2008
Siehe auch:
1990HardcoverSpecification and Transformation of Programs: A Formal Approach to Software Development (Texts & Monographs in Computer Science)
1990Gebundene AusgabeSpecification and Transformation of Programs: A Formal Approach to Software Development (Monographs in Computer Science)