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

Prices from
10.25

Featured

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)

Shop
Price
Amazon Logo
£ 10.25
To Shop
Amazon Marketplace Logo
£ 10.25
To Shop
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)

£ 44.35
Compare 2 stores 2 stores

Cambridge University Press

Handbook of Practical Logic and Automated Reasoning

£ 125.40
More Information More Info
Featured Choice
£ 10.25
To Shop