Overview
Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication and Software System
- | Author: Marco Bernardo
- | Publisher: Springer
- | Publication Date: Jun 14, 2012
- | Number of Pages: 439 pages
- | Binding: Paperback or Softback
- | ISBN-10: 364230981X
- | ISBN-13: 9783642309816