Formal Methods for Model-Driven Engineering
- Undertitel
- 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
- ISBN
- 9783642309816
- Språk
- engelska
- Vikt
- 281 gram
- Utgivningsdatum
- 2012-06-14
- Sidor
- 439








































