LEAN PROGRAMMING for FORMAL SOFTWARE VERIFICATION: Mathematical proof systems and logical frameworks verified computation

Prices from
9.76

Featured

COMPARE ALL WEBSHOPS (1)

Description

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

Compare webshops (1)

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

Pages: 149, Paperback, Independently published

Product specifications

Brand Independently Published
EAN
  • 9798271573743

Independently Published

IDRIS 2 PROGRAMMING FOR DEPENDENT TYPE SYSTEMS: Formal software verification and provably...

£ 9.68
More Information More Info

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

£ 5.22
More Information More Info

Independently Published

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

£ 9.69
More Information More Info

Differential Dynamical Systems (Mathematical Modeling and Computation)

£ 69.66
More Information More Info
Featured Choice
£ 9.76
To Shop