Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October ... Notes in Computer Science, 13704, Band 13704)

Erkunden Sie die neuesten Forschungsergebnisse des ISoLA 2022 Symposiums: praxisorientierte Anwendungen formaler Methoden in Softwareentwicklung, Sich ...
Wo zu kaufen (2) Eigenschaften
Gesponsert
Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October ... Notes in Computer Science, 13704, Band 13704)
Medimops DE
69.54 EUR
Preis aktualisiert am: 27-04-2026 03:31:03
Siehe Produktangebot
Gesponsert
Leveraging Applications of Formal Methods, Verification and Validation. Practice
SpringerLink DE
69.54 EUR
Preis aktualisiert am: 27-04-2026 06:37:25
Siehe Produktangebot

Allgemein

Marke
Tiziana Margaria

Eigenschaften

Ähnliche Produkte

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of ... Notes in Computer Science, Band 12479)
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of ... Notes in Computer Science, Band 12479)
Produkt anzeigen
Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal ... Notes in Computer Science, Band 12478)
Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal ... Notes in Computer Science, Band 12478)
Produkt anzeigen
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications ... Notes in Computer Science, Band 12477)
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications ... Notes in Computer Science, Band 12477)
Produkt anzeigen
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging ... Notes in Computer Science, Band 12476)
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging ... Notes in Computer Science, Band 12476)
Produkt anzeigen
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, ... Notes in Computer Science, 13703, Band 13703)
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, ... Notes in Computer Science, 13703, Band 13703)
Produkt anzeigen
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, ... Notes in Computer Science, 13702, Band 13702)
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, ... Notes in Computer Science, 13702, Band 13702)
Produkt anzeigen
Menü