Verification of Arms Reductions | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Verification of Arms Reductions
  • #

Verification of Arms Reductions

118.00 EUR 106.24 EUR 10% Off

Teilen:
Gesponsert

Verification of Arms Reductions: Nuclear, Conventional and Chemical

Medimops DE
106.24 EUR
17-07-2026 14:50:56
Gesponsert

Verification of Arms Reductions

SpringerLink DE
118.00 EUR
17-07-2026 10:22:30

Ähnliche Produkte

Leveraging Applications of Formal Methods, Verification and Validation

Leveraging Applications of Formal Methods, Verification and Validation

49.98 EUR
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach

152.06 EUR
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)

53.49 EUR
Barringer, Howard: A Survey of Verification Techniques for Parallel Programs

Barringer, Howard: A Survey of Verification Techniques for Parallel Programs

24.60 EUR
Formal Verification of Object-Oriented Software

Formal Verification of Object-Oriented Software

49.22 EUR
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)

53.49 EUR