Formal Methods for Model-Driven Engineering: 12th

Formal Methods for Model-Driven Engineering: 12th Inteational School on Formal Health for the Design of Computer, Communication and Software .. / Programming and Software Engineering)

Hardcover: 446 pages

Publisher: Springer (June 30, 2012)

Language: English

ISBN-10: 364230981X