Formal methods for model-driven engineering
advanced lectures
Bernardo, Marco ; Cortellessa, Vittorio ; Pierantonio, Alfonso 2012 Springer
- Kaufen
-
Jetzt kaufen bei
- Link zu diesem Datensatz
- https://d-nb.info/1022401661
- Titel
- Formal methods for model-driven engineering : advanced lectures
- Art des Inhalts
- Monographie
- Verfassangaben
- 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18 - 23, 2012. Marco Bernardo ... (ed.)
- Autor(en)
- Organisation(en)
-
- International School on Formal Methods for the Design of Computer, Communication, and Software Systems
- Verlag
- Berlin : Springer [2012]
- Jahr
- Erscheinungsdatum: 2012
- Umfang/Format
- VI, 437 S.
- ISBN/Einband/Preis
9783642309816- Online
- https://d-nb.info/1022401661/04
- Sprache
- eng
- Schlagwörter
- Anmerkungen
- Literaturangaben
- Stand
- 03.12.2017 01:24
- Im Katalog seit
- 06.03.2026