Verification of Arms Reductions: Nuclear, Conventional and Chemical

Verification of Arms Reductions
Wo zu kaufen (3) Eigenschaften
Gesponsert
Verification of Arms Reductions: Nuclear, Conventional and Chemical
Medimops DE
106.24 EUR
Preis aktualisiert am: 28-09-2026 10:08:52
Siehe Produktangebot
Gesponsert
Verification of Arms Reductions
Hugendubel
106.99 EUR
Preis aktualisiert am: 27-09-2026 16:38:19
Siehe Produktangebot
Gesponsert
Verification of Arms Reductions
SpringerLink DE
109.99 EUR
Preis aktualisiert am: 28-09-2026 13:35:14
Siehe Produktangebot

Allgemein

Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3642466869
MPN
Springer Berlin Heidelberg biography

Eigenschaften

Ähnliche Produkte

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence, Band 20)
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence, Band 20)
Aus152.06 EUR 4
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)
Aus49.98 EUR 4
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)
Aus53.49 EUR 4
Produkt anzeigen
A Survey of Verification Techniques for Parallel Programs (Lecture Notes in Computer Science, 191, Band 191)
A Survey of Verification Techniques for Parallel Programs (Lecture Notes in Computer Science, 191, Band 191)
Aus24.49 EUR 3
Produkt anzeigen
Formal Verification of Object-Oriented Software: International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers (Lecture Notes in Computer Science, Band 7421)
Formal Verification of Object-Oriented Software: International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers (Lecture Notes in Computer Science, Band 7421)
Aus48.99 EUR 3
Produkt anzeigen
Specification and Compositional Verification of Real-Time Systems (Lecture Notes in Computer Science, 558, Band 558)
Specification and Compositional Verification of Real-Time Systems (Lecture Notes in Computer Science, 558, Band 558)
Aus53.49 EUR 3
Produkt anzeigen
Menü