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

Prices from
10.98

Featured

COMPARE ALL WEBSHOPS (2)

Description

Amazon Pages: 164, Paperback, Independently published
Description Description
Product Specifications Product specifications
Related Products Related Products
?>
Next
Previous

Compare webshops (2)

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

Pages: 164, Paperback, Independently published

Product specifications

Brand Independently Published
EAN
  • 9798270868505

Prices were last updated on:

Independently Published

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

€ 11.16
Compare 2 stores 2 stores

CRC Press

Embedded Software Development for Safety Critical Systems

€ 51.80
Compare 2 stores 2 stores

CRC Press

Embedded Software Development for Safety Critical Systems

€ 132.99
Compare 2 stores 2 stores

Independently Published

ATS programming FOR HIGH safety APPLICATIONS: Combining functional and imperative with type

€ 11.09
Compare 2 stores 2 stores
Featured Choice
€ 10.98
To Shop