Validation and Verification of Automated Systems: Results of the ENABLE-S3 Project

Verification of Automated Systems
Wo zu kaufen (2) Eigenschaften
Gesponsert
Validation and Verification of Automated Systems: Results of the ENABLE-S3 Project
Medimops DE
116.47 EUR
Preis aktualisiert am: 28-10-2026 15:19:05
Siehe Produktangebot
Gesponsert
Validation and Verification of Automated Systems
SpringerLink DE
142.00 EUR
Preis aktualisiert am: 28-10-2026 07:17:22
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October ... Notes in Computer Science, Band 7610)
Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October ... Notes in Computer Science, Band 7610)
Aus49.98 EUR 4
Produkt anzeigen
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, ... Notes in Computer Science (9952), Band 9952)
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, ... Notes in Computer Science (9952), Band 9952)
Aus101.54 EUR 3
Produkt anzeigen
Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, ... Notes in Computer Science, Band 11245)
Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, ... Notes in Computer Science, Band 11245)
Aus52.94 EUR 3
Produkt anzeigen
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, ... Notes in Computer Science, Band 11246)
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, ... Notes in Computer Science, Band 11246)
Aus52.94 EUR 3
Produkt anzeigen
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA ... Notes in Computer Science (9953), Band 9953)
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA ... Notes in Computer Science (9953), Band 9953)
Aus52.94 EUR 3
Produkt anzeigen
Leveraging Applications of Formal Methods Verification and Validation. Modeling
Leveraging Applications of Formal Methods Verification and Validation. Modeling
Aus53.49 EUR 2
Produkt anzeigen
Menü