• Produktbild: Formal Methods for Model-Driven Engineering
  • Produktbild: Formal Methods for Model-Driven Engineering

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

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

14.06.2012

Abbildungen

VII, 158 illus., schwarz-weiss Illustrationen

Herausgeber

Marco Bernardo + weitere

Verlag

Springer Berlin

Seitenzahl

439

Maße (L/B/H)

23,5/15,5/2,5 cm

Gewicht

674 g

Auflage

2012

Sprache

Englisch

ISBN

978-3-642-30981-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

14.06.2012

Abbildungen

VII, 158 illus., schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer Berlin

Seitenzahl

439

Maße (L/B/H)

23,5/15,5/2,5 cm

Gewicht

674 g

Auflage

2012

Sprache

Englisch

ISBN

978-3-642-30981-6

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Formal Methods for Model-Driven Engineering
  • Produktbild: Formal Methods for Model-Driven Engineering
  • The Less Well Known UML: A Short User Guide.-MDE Basics with a DSL Focus.-Object Constraint Language (OCL): A Definitive Guide.-Model Transformations.-Graph Transformations for MDE, Adaptation, and Models at Runtime.-Abstractions for Validation in Action.-Software Performance Modeling.-Model Transformations in Non-functional Analysis.-Software Performance Antipatterns: Modeling and Analysis.-An Introduction to Model Versioning.-Formal Specification and Testing of Model Transformations.