Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System (Lecture Notes in Computer Science (680), Band 680)
von:
Bernd Krieg-Br??ckner
· Berthold Hoffmann
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-56733-2
ISBN-10: 3-540-56733-X
Springer
· 2008