✍️ 🧑‍🦱 💚 Autor:innen verdienen bei uns doppelt. Dank euch haben sie so schon 367.705 € mehr verdient. → Mehr erfahren 💪 📚 🙏

Formal Methods for Model-Driven Engineering

Formal Methods for Model-Driven Engineering

Softcover - 9783642309816
53,49 €
  • Versandkostenfrei
Auf meine Merkliste
  • Hinweis: Print on Demand. Lieferbar in 2 Tagen.
    •
  • Lieferzeit nach Versand: ca. 1-2 Tage
  • inkl. MwSt. & Versandkosten (innerhalb Deutschlands)

Autorenfreundlich Bücher kaufen?!

Beschreibung

This book presents 11 tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, held in Bertinoro, Italy, in June 2012. SFM 2012 was devoted to model-driven engineering and covered several topics including modeling languages; model transformations, functional and performance modeling and analysis; and model evolution management.

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

Details

Verlag Springer Berlin
Ersterscheinung 14. Juni 2012
Maße 23.5 cm x 15.5 cm
Gewicht 674 Gramm
Format Softcover
ISBN-13 9783642309816
Seiten 439

Schlagwörter

Angewandte Informatik, Compiler und Übersetzer, Compilers and Interpreters, Computer and Information Systems Applications, Formal Languages and Automata Theory, IT Operations, Software Engineering, Theoretische Informatik, Wirtschaftsmathematik und -informatik - IT-Management

Herstellerinformationen +