Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (Lecture Notes in Computer Science)

Ein kompakter Sammelband aus dem FMCO‑Symposium 2012 in Bertinoro, der aktuelle Forschungsergebnisse zur formalen Analyse von Komponenten und Objekten präsentiert und theoretische Konzepte mit praktischen Anwendungen verbindet.

Teilen: