MODEL CHECKING and SYSTEM VERIFICATION: Temporal Logic State Space Exploration Automated Reasoning Correctness Analysis for Complex Systems

Prices from
10.25

Sponsored links

COMPARE ALL WEBSHOPS (2)

Description

MODEL CHECKING and SYSTEM VERIFICATION: Temporal Logic State Space Exploration Automated Reasoning Correctness Analysis for Complex Systems

Description Description
Product Specifications Product specifications
Related results Related results
Next
Previous

Compare webshops (2)

Sponsored links · Some shops pay us a fee

Sort by:

£ 10.25

£ 10.25

Description (0)

MODEL CHECKING and SYSTEM VERIFICATION: Temporal Logic State Space Exploration Automated Reasoning Correctness Analysis for Complex Systems

Product specifications

Brand Independently Published
EAN
  • 9798194158980

Independently Published

FORMAL VERIFICATION FOR SOFTWARE SYSTEMS: Model checking correctness proofs and specification driven development

£ 9.69
Compare 2 stores 2 stores

FORMAL VERIFICATION FOR SOFTWARE SYSTEMS: Model checking correctness proofs and specification driven development

£ 5.22
More Information More Info

Springer

Fundamentals of Logic and Computation: With Practical Automated Reasoning Verification (Texts in Computer Science)

£ 31.48
Compare 2 stores 2 stores

Springer

Temporal Verification of Reactive Systems: Safety

£ 56.82
Compare 2 stores 2 stores
Featured Choice
£ 10.25
To Shop