Formal and Adaptive Methods for Automation of Parallel Programs Construction: Emerging Research and Opportunities

Wo zu kaufen (1) Eigenschaften
Gesponsert
Formal and Adaptive Methods for Automation of Parallel Programs Construction: Emerging Research and Opportunities
Medimops DE
167.10 EUR
Preis aktualisiert am: 20-06-2026 03:07:58
Siehe Produktangebot

Allgemein

Marke
Anatoliy Doroshenko

Eigenschaften

Ähnliche Produkte

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International ... Notes in Computer Science, Band 15220)
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International ... Notes in Computer Science, Band 15220)
Produkt anzeigen
Drechsler, Rolf: Design for Testability, Debug and Reliability
Drechsler, Rolf: Design for Testability, Debug and Reliability
Produkt anzeigen
Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques
Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques
Produkt anzeigen
Plouffe, Dave: Art Appreciation
Plouffe, Dave: Art Appreciation
Produkt anzeigen
Leveraging Applications of Formal Methods Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
Leveraging Applications of Formal Methods Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
Produkt anzeigen
Doroshenko, Anatoliy: Formal and Adaptive Methods for Automation of Parallel Programs Construction
Doroshenko, Anatoliy: Formal and Adaptive Methods for Automation of Parallel Programs Construction
Produkt anzeigen
Menü