Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for . . . ... Notes in Computer Science, 2757, Band 2757)

Ein Sammelband zum zehnjährigen Jubiläum des UNU/IIST‑Colloquiums, der die Evolution formaler Methoden von idealistischen Versprechen zu robusten ...
Wo zu kaufen (3) Eigenschaften
Gesponsert
Formal Methods at the Crossroads. From Panacea to Foundational Support
Hugendubel
53.49 EUR
Preis aktualisiert am: 07-11-2026 09:56:10
Siehe Produktangebot
Gesponsert
Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for . . . ... Notes in Computer Science, 2757, Band 2757)
Medimops DE
53.49 EUR
Preis aktualisiert am: 10-11-2026 04:12:59
Siehe Produktangebot
Gesponsert
Formal Methods at the Crossroads. From Panacea to Foundational Support
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 09-11-2026 12:06:30
Siehe Produktangebot

Allgemein

Marke
Aichernig, Bernhard K.
ISBN
Aichernig, Bernhard K. 3540205276
MPN
Aichernig, Bernhard K. biography

Eigenschaften

Ähnliche Produkte

Software Engineering and Formal Methods
Software Engineering and Formal Methods
Aus74.89 EUR 3
Produkt anzeigen
Unifying Theories of Programming and Formal Engineering Methods
Unifying Theories of Programming and Formal Engineering Methods
Aus53.49 EUR 4
Produkt anzeigen
VDM '87. VDM
VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings (Lecture Notes in Computer Science, 252, Band 252)
Aus53.49 EUR 3
Produkt anzeigen
Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods
Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods
Aus106.99 EUR 2
Produkt anzeigen
Menü