FME 2001: Formal Methods for Increasing Software Productivity

Der FME‑2001‑Band fasst die neuesten Erkenntnisse aus dem Berliner Symposium zu formalen Methoden zusammen, zeigt deren Einfluss auf Softwarequali ...
Wo zu kaufen (2) Eigenschaften
Gesponsert
FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings (Lecture Notes in Computer Science)
Medimops DE
101.94 EUR
Preis aktualisiert am: 23-04-2026 17:50:40
Siehe Produktangebot
Gesponsert
FME 2001: Formal Methods for Increasing Software Productivity
SpringerLink DE
106.99 EUR
Preis aktualisiert am: 23-04-2026 20:39:55
Siehe Produktangebot

Allgemein

Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3540417915
MPN
Springer Berlin Heidelberg biography

Eigenschaften

Ähnliche Produkte

FME 2002: Formal Methods
FME 2002: Formal Methods - Getting IT Right: International Symposium of Formal Methods Europe Copenhagen, Denmark, July 22-24, 2002 Proceedings (Lecture Notes in Computer Science, 2391, Band 2391)
Produkt anzeigen
FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings (Lecture Notes in Computer Science, 670, Band 670)
FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings (Lecture Notes in Computer Science, 670, Band 670)
Produkt anzeigen
FME 2002: Formal Methods
FME 2002: Formal Methods - Getting IT Right
Produkt anzeigen
FME 2003: Formal Methods
FME 2003: Formal Methods
Produkt anzeigen
FME 2001: Formal Methods for Increasing Software Productivity
FME 2001: Formal Methods for Increasing Software Productivity
Produkt anzeigen
FME '97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe Graz, Austria, ... Notes in Computer Science (1313), Band 1313)
FME '97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe Graz, Austria, ... Notes in Computer Science (1313), Band 1313)
Produkt anzeigen
FME '96: Industrial Benefit and Advances in Formal Methods
FME '96: Industrial Benefit and Advances in Formal Methods
Produkt anzeigen
FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24
FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. ... Notes in Computer Science (873), Band 873)
Produkt anzeigen
Menü