![Buchcover Integration of Software Specification Techniques for Applications in Engineering | EAN 9783540231356 | ISBN 3-540-23135-8 | ISBN 978-3-540-23135-6](https://buch.isbn.de/cover/9783540231356.jpg)
×
Integration of Software Specification Techniques for Applications in Engineering
Priority Program SoftSpez of the German Research Foundation (DFG) Final Report
herausgegeben von Hartmut Ehrig und weiterenIncludes supplementary material: sn. pub/extras