Formal Methods for Model-Driven Engineering
- Alaotsikko
- 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
- Toimittaja
- Bernardo Marco, Cortellessa Vittorio, Pierantonio Alfonso
- ISBN
- 9783642309816
- Kieli
- englanti
- Paino
- 281 grammaa
- Julkaisupäivä
- 14.6.2012
- Sivumäärä
- 439







































