Formal Methods for Components and Objects
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.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE 
SpringerLink DE
Gesponsert
Galaxus.de
Formal Methods for Components and Objects, Fachbücher von Marcello M. Bonsangue, Frank S. de Boer, Ferruccio Damiani, Bernhard Beckert
Galaxus.de
21-04-2026 19:39:11
