Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science, 129, Band 129)
  • #
  • #

Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science, 129, Band 129)

53.49 EUR 41.52 EUR 22% Off

Teilen:
Gesponsert

Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science, 129, Band 129)

Medimops DE
41.52 EUR
05-05-2026 15:03:06
Gesponsert

Verifying Concurrent Processes Using Temporal Logic

SpringerLink DE
53.49 EUR
05-05-2026 15:08:28

Ähnliche Produkte

Verifying Calculations

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

53.46 EUR
Verifying OCL Specifications of UML Models

Verifying OCL Specifications of UML Models

29.90 EUR
Software Verification Based on Game Semantics and Process Algebra

Software Verification Based on Game Semantics and Process Algebra

79.00 EUR
Testing and Verifying Web Services

Testing and Verifying Web Services

79.00 EUR
Verifying Treaty Compliance

Verifying Treaty Compliance

213.99 EUR
Verifying OCL Specifications of UML Models

Verifying OCL Specifications of UML Models

41.85 CHF