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

Prices from
9.69

Featured

COMPARE ALL WEBSHOPS (1)

Description

Amazon Pages: 175, Paperback, Independently published
Description Description
Product Specifications Product specifications
Related results Related results
Next
Previous

Compare webshops (1)

Shop
Price
Amazon Logo
£ 9.69
To Shop
Description (1)

Pages: 175, Paperback, Independently published

Product specifications

Brand Independently Published
EAN
  • 9798243353243

Cambridge University Press

Real-Time Systems: Formal Specification and Automatic Verification

£ 78.52
More Information More Info

Springer

Model-Driven Software Development

£ 112.95
More Information More Info

Cambridge University Press

Reactive Systems: Modelling, Specification and Verification

£ 70.40
More Information More Info

Cengage Learning

Model Driven Software Development with UML and Java

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