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