Verifying Temporal Properties of Systems (Progress in Theoretical Computer Science) | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Verifying Temporal Properties of Systems (Progress in Theoretical Computer Science)
  • #
  • #

Verifying Temporal Properties of Systems (Progress in Theoretical Computer Science)

53.49 EUR

Teilen:
Gesponsert

Verifying Temporal Properties of Systems (Progress in Theoretical Computer Science)

Medimops DE
53.49 EUR
05-05-2026 04:08:06
Gesponsert

Verifying Temporal Properties of Systems

SpringerLink DE
53.49 EUR
05-05-2026 14:45:32

Ähnliche Produkte

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)

41.52 EUR
Verifying Concurrent Systems with Symbolic Execution: Temporal Reasoning is Symbolic Execution with a Little Induction

Verifying Concurrent Systems with Symbolic Execution: Temporal Reasoning is Symbolic Execution with a Little Induction

0.00
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