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

Prices from
11.16

Featured

COMPARE ALL WEBSHOPS (2)

Description

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

Compare webshops (2)

Shop
Price
Amazon Logo
€ 11.16
To Shop
Amazon Marketplace Logo
€ 11.16
To Shop
Description (1)

Pages: 175, Paperback, Independently published

Product specifications

Brand Independently Published
EAN
  • 9798243353243

Independently Published

ATS programming FOR VERIFIED SOFTWARE DEVELOPMENT: Mathematically proven correctness and type safety in systems

€ 10.98
Compare 2 stores 2 stores

Independently Published

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

€ 11.17
Compare 2 stores 2 stores

Independently Published

Mastering Alloy Modeling: Practical Techniques for Formal Specification, Analysis, and Verification

€ 34.41
Compare 2 stores 2 stores

Independently Published

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

€ 11.08
Compare 2 stores 2 stores
Featured Choice
€ 11.16
To Shop