Formal Methods for Model-Driven Engineering (Lecture Notes in Computer Science, Band 7320)

Engineering

von: Marco Bernardo · Vittorio Cortellessa · Alfonso Pierantonio

Taschenbuch

ISBN-13: 978-3-642-30981-6

ISBN-10: 3-642-30981-X

Springer · 2012