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