Ein kompakter Sammelband aus dem FMCO 2011‑Symposium, der zehn überarbeitete Beiträge zu formalen Methoden für Komponenten und Objekte enthält; jedes Kapitel beleuchtet theoretische Grundlagen und praxisnahe Anwendungen in der Softwareentwicklung.