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

Prices from
9.69

Sponsored links

COMPARE ALL WEBSHOPS (2)

Description

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

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:

£ 9.69

£ 9.69

Description (0)

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

Product specifications

Brand Independently Published
EAN
  • 9798243353243

Independently Published

MODEL CHECKING and SYSTEM VERIFICATION: Temporal Logic State Space Exploration Automated Reasoning...

£ 10.25
Compare 2 stores 2 stores

Independently Published

RELIABLE COMPUTING THROUGH FORMAL VERIFICATION: Software Assurance Algorithm Verification Mathematical Proofs and...

£ 10.25
Compare 2 stores 2 stores

Independently Published

FORMAL METHODS FOR Software ENGINEERING: Mathematical Modeling Specification Languages Program Verification and Reliable Systems

£ 10.25
Compare 2 stores 2 stores

Cambridge University Press

Real-Time Systems: Formal Specification and Automatic Verification

£ 78.52
More Information More Info
Featured Choice
£ 9.69
To Shop