Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, ... Notes in Computer Science, Band 11247)

Dieses Buch untersucht die praktische Umsetzung formaler Techniken zur Verifikation und Validierung, indem es Fallstudien aus der Industrie präsentie ...
Of Formal Methods
Wo zu kaufen (3) Eigenschaften
Gesponsert
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, ... Notes in Computer Science, Band 11247)
Medimops DE
52.94 EUR
Preis aktualisiert am: 14-06-2026 18:08:20
Siehe Produktangebot
Gesponsert
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 15-06-2026 00:32:18
Siehe Produktangebot
Gesponsert
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, Fachbücher von Tiziana Margaria, Bernhard Steffen
Galaxus.de
53.49 EUR
Preis aktualisiert am: 14-06-2026 06:55:29
Siehe Produktangebot

Allgemein

Marke
Tiziana Margaria
ISBN
Tiziana Margaria 3030034267

Eigenschaften

Ähnliche Produkte

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)
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)
Produkt anzeigen
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA ... Notes in Computer Science, Band 8803)
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA ... Notes in Computer Science, Band 8803)
Produkt anzeigen
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, ... Notes in Computer Science, Band 8802)
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, ... Notes in Computer Science, Band 8802)
Produkt anzeigen
Leveraging Applications of Formal Methods Verification and Validation. Modeling
Leveraging Applications of Formal Methods Verification and Validation. Modeling
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ü