Integration of Software Specification Techniques for Applications in Engineering: Priority Program Softspez Of The German Research Foundation (Dfg) ... Notes in Computer Science (3147), Band 3147)

Applications

von Hartmut Ehrig

Taschenbuch

ISBN-13: 978-3-540-23135-6

ISBN-10: 3-540-23135-8

Springer · 2013