Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Lecture Notes in Computer Science, Band 7542)

Ein kompakter Sammelband aus dem FMCO 2011‑Symposium, der zehn überarbeitete Beiträge zu formalen Methoden für Komponenten und Objekte enthält ...
Computer Science
Wo zu kaufen (3) Eigenschaften
Gesponsert
Formal Methods for Components and Objects
Hugendubel
53.49 EUR
Preis aktualisiert am: 07-11-2026 05:18:37
Siehe Produktangebot
Gesponsert
Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Lecture Notes in Computer Science, Band 7542)
Medimops DE
53.49 EUR
Preis aktualisiert am: 06-11-2026 14:58:26
Siehe Produktangebot
Gesponsert
Formal Methods for Components and Objects
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 09-11-2026 12:09:42
Siehe Produktangebot

Allgemein

Marke
Springer Berlin Heidelberg
MPN
Springer Berlin Heidelberg 129 black & white illustrations, biograp
ISBN
Springer Berlin Heidelberg 3642358861

Eigenschaften

Ähnliche Produkte

Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
Aus48.99 EUR 4
Produkt anzeigen
Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (Lecture Notes in Computer Science)
Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (Lecture Notes in Computer Science)
Aus48.99 EUR 4
Produkt anzeigen
FME 2001: Formal Methods for Increasing Software Productivity
FME 2001: Formal Methods for Increasing Software Productivity
Aus101.94 EUR 3
Produkt anzeigen
Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings (Lecture Notes in Computer Science, Band 7437)
Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings (Lecture Notes in Computer Science, Band 7437)
Aus48.99 EUR 3
Produkt anzeigen
Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected ... Notes in Computer Science, 6286, Band 6286)
Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected ... Notes in Computer Science, 6286, Band 6286)
Aus59.00 EUR 1
Produkt anzeigen
Menü