FME 2001: Formal Methods for Increasing Software Productivity
Ein kompakter Sammelband aus dem FME 2001 Symposium in Berlin, der neueste Forschung zu formalen Methoden für die Steigerung der Softwareproduktivität präsentiert und praktische Anwendungen beleuchtet.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE
Gesponsert
SpringerLink DE
FME 2001: Formal Methods for Increasing Software Productivity
SpringerLink DE
21-04-2026 21:05:10
Ähnliche Produkte
FME '93: Industrial-Strength Formal Methods
105.84 EUR
FME 2002: Formal Methods - Getting IT Right
106.99 EUR
