Verification of Sequential and Concurrent Programs (Texts in Computer Science) | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Verification of Sequential and Concurrent Programs (Texts in Computer Science)
  • #

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

118.00 EUR 101.34 EUR 14% Off

Teilen:
Gesponsert

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Medimops DE
101.34 EUR
25-07-2026 04:35:19
Gesponsert

Verification of Sequential and Concurrent Programs

SpringerLink DE
118.00 EUR
24-07-2026 23:33:06

Ähnliche Produkte

Verifying Calculations

Verifying Calculations - Forty Years On: An Overview of Classical Verification Techniques for FEM Simulations

53.46 EUR
Formal System Verification: State-of the-Art and Future Trends

Formal System Verification: State-of the-Art and Future Trends

113.95 EUR
The Calculus of Computation: Decision Procedures with Applications to Verification

The Calculus of Computation: Decision Procedures with Applications to Verification

50.40 EUR
Verification of Sequential and Concurrent Programs: Texts in Computer Science, Third Edition

Verification of Sequential and Concurrent Programs: Texts in Computer Science, Third Edition

85.59 EUR
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

90.94 EUR
Automatic Verification of Sequential Infinite-State Processes

Automatic Verification of Sequential Infinite-State Processes

59.00 EUR