Formal Methods for Model-Driven Engineering (Lecture Notes in Computer Science, Band 7320)
von:
Marco Bernardo
·
Vittorio Cortellessa
· Alfonso Pierantonio
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-642-30981-6
ISBN-10: 3-642-30981-X
Springer
· 2012