Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ... in Computer and Information Science)

Dieses Buch beleuchtet die praktische Anwendung formaler Methoden zur Verifikation von Softwaresystemen, indem es innovative Ansätze aus aktuellen Fo ...
Wo zu kaufen (3) Eigenschaften
Gesponsert
Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ... in Computer and Information Science)
Medimops DE
53.49 EUR
Preis aktualisiert am: 11-05-2026 10:25:59
Siehe Produktangebot
Gesponsert
Leveraging Applications of Formal Methods, Verification, and Validation
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 11-05-2026 09:38:18
Siehe Produktangebot
Gesponsert
Leveraging Applications of Formal Methods, Verification, and Validation, Fachbücher von Bernhard Steffen, Tiziana Margaria, Jens Knoop, Reiner Hähnle, Dietmar Schreiner
Galaxus.de
53.49 EUR
Preis aktualisiert am: 11-05-2026 00:25:22
Siehe Produktangebot

Allgemein

Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3642347800
MPN
Springer Berlin Heidelberg 94 black & white illustrations

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: 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)
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, 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
Menü