Leveraging Applications of Formal Methods, Verification and Validation | Ieris Deutschland

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, ... Notes in Computer Science, 13702, Band 13702)

Erkunden Sie die neuesten Erkenntnisse zur formalen Verifikation von Softwaresystemen, zusammengestellt aus den Beiträgen des ISoLA 2022 Symposiums â ...
Wo zu kaufen (3) Eigenschaften
Gesponsert
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, ... Notes in Computer Science, 13702, Band 13702)
Medimops DE
64.98 EUR
Preis aktualisiert am: 07-09-2026 05:43:19
Siehe Produktangebot
Gesponsert
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, Fachbücher von Bernhard Steffen, Tiziana Margaria
Galaxus.de
74.89 EUR
Preis aktualisiert am: 28-07-2026 06:03:43
Siehe Produktangebot
Gesponsert
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
SpringerLink DE
83.00 EUR
Preis aktualisiert am: 07-09-2026 11:14:20
Siehe Produktangebot

Allgemein

Marke
Tiziana Margaria

Eigenschaften

Ähnliche Produkte

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: 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: 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. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, ... Notes in Computer Science, 13701, Band 13701)
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, ... Notes in Computer Science, 13701, Band 13701)
Produkt anzeigen
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, ... Notes in Computer Science, Band 11247)
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, ... Notes in Computer Science, Band 11247)
Produkt anzeigen
Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October/November 2004, Revised Selected Papers: ... Notes in Computer Science, 4313, Band 4313)
Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October/November 2004, Revised Selected Papers: ... Notes in Computer Science, 4313, Band 4313)
Produkt anzeigen
Menü