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 ...

Allgemein

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

Eigenschaften

Menü