Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October ... Notes in Computer Science, Band 7610)

Ein Fachband des fünften ISoLA-Symposiums in Heraklion, der neue Ansätze formaler Methoden für Verifikation und Validierung vorstellt; enthält pra ...
Of Formal Methods
Wo zu kaufen (3) Eigenschaften
Gesponsert
Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October ... Notes in Computer Science, Band 7610)
Medimops DE
49.98 EUR
Preis aktualisiert am: 11-06-2026 16:20:14
Siehe Produktangebot
Gesponsert
Leveraging Applications of Formal Methods, Verification and Validation
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 11-06-2026 23:44:51
Siehe Produktangebot
Gesponsert
Leveraging Applications of Formal Methods, Verification and Validation, Fachbücher von Bernhard Steffen, Tiziana Margaria
Galaxus.de
53.49 EUR
Preis aktualisiert am: 11-06-2026 11:27:01
Siehe Produktangebot

Allgemein

Marke
Springer Berlin Heidelberg
MPN
Springer Berlin Heidelberg 129 black & white illustrations, biograp
ISBN
Springer Berlin Heidelberg 3642340318

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: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ... in Computer and Information Science)
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)
Produkt anzeigen
Leveraging Applications of Formal Methods Verification and Validation. Modeling
Leveraging Applications of Formal Methods Verification and Validation. Modeling
Produkt anzeigen
Menü