Große Auswahl an günstigen Büchern
Alles immer versandkostenfrei!
Schnelle Lieferung per Post und DHL
Kundenservice
Login
  1. Startseite
  2. Bücher
  3. Wirtschaft & Schule
  4. Computer & IT
  5. Formal Methods for Model-Driven Engineering

Formal Methods for Model-Driven Engineering

von Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio

enthalten in Lecture Notes in Computer Science-Reihe

enthalten in Programming and Software Engineering-Reihe

Formal Methods for Model-Driven Engineering von Marco Bernardo
Über Formal Methods for Model-Driven Engineering

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.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9783642309816
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 448
  • Veröffentlicht:
  • 14. Juni 2012
  • Abmessungen:
  • 155x25x235 mm.
  • Gewicht:
  • 674 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.
Verlängerte Rückgabefrist bis 31. Januar 2025
  •  

    Keine Lieferung vor Weihnachten möglich.
    Kaufen Sie jetzt und drucken Sie einen Gutschein aus

Über Marco Bernardo

Alle Bücher von Marco Bernardo anzeigen

Beschreibung von Formal Methods for Model-Driven Engineering

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.

Kund*innenbewertungen von Formal Methods for Model-Driven Engineering



Andere kauften auch ...
Ähnliche Bücher finden
Das Buch Formal Methods for Model-Driven Engineering ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.