![Buchcover Integration of Software Specification Techniques for Applications in Engineering | EAN 9783540278634 | ISBN 3-540-27863-X | ISBN 978-3-540-27863-4](https://buch.isbn.de/cover/9783540278634.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