Verification of Arms Reductions: Nuclear, Conventional and Chemical

Verification of Arms Reductions
Wo zu kaufen (2) Eigenschaften
Gesponsert
Verification of Arms Reductions: Nuclear, Conventional and Chemical
Medimops DE
106.24 EUR
Preis aktualisiert am: 13-05-2026 16:26:40
Siehe Produktangebot
Gesponsert
Verification of Arms Reductions
SpringerLink DE
106.99 EUR
Preis aktualisiert am: 14-05-2026 02:41:10
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)
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: 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
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)
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)
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)
Produkt anzeigen
Menü