Verifying Concurrent Systems with Symbolic Execution: Temporal Reasoning is Symbolic Execution with a Little Induction | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. 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

Teilen:
Gesponsert

Produkte ansehen bei eBay

eBay
Gesponsert

Produkte ansehen bei Back Market DE

Back Market DE
Gesponsert

Produkte ansehen bei AsGoodAsNew DE

AsGoodAsNew DE
Gesponsert

Produkte ansehen bei Alternate DE

Alternate DE
Gesponsert

Produkte ansehen bei Beauty Welt (DE)

Beauty Welt (DE)
Gesponsert

Produkte ansehen bei babymarkt.de

babymarkt.de
Gesponsert

Produkte ansehen bei DeubaXXL DE

DeubaXXL DE

Ähnliche Produkte

Verifying Calculations

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

53.46 EUR
Verifying Treaty Compliance

Verifying Treaty Compliance

197.54 EUR
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 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