Formal Methods for Model-Driven Engineering
12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
Edición de la obra Formal Methods for Model-Driven Engineering
| Autor | Marco Bernardo |
|---|---|
| Editorial | Springer Berlin Heidelberg |
| Fecha de publicación | 2012 |
| Lugar | Berlin, Heidelberg |
| Idioma | inglés |
| Formato | [electronic resource] : |
| ISBN-13 | 9783642309823 |
| Serie | Lecture Notes in Computer Science -- 7320 |
| Número de Cutter | B523f |