Guide to Software Verification with Frama-C: Core Components, Usages, and Applications (Computer Science Foundations Applied Logic)

Prices from
39.94

Sponsored links

COMPARE ALL WEBSHOPS (2)

Description

Guide to Software Verification with Frama-C: Core Components, Usages, and Applications (Computer Science Foundations Applied Logic)

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:

£ 39.94

£ 39.94

Description (0)

Guide to Software Verification with Frama-C: Core Components, Usages, and Applications (Computer Science Foundations Applied Logic)

Product specifications

Brand Springer
EAN
  • 9783031556104

Concise Guide to Fault Tree Analysis: Models, Methods and Algorithms (Computer Science...

£ 47.32
Compare 2 stores 2 stores

Springer

Logic, Mathematics, and Computer Science: Modern Foundations with Practical Applications

£ 39.99
Compare 2 stores 2 stores

Algorithms for Constructing Computably Enumerable Sets (Computer Science Foundations and Applied Logic)

£ 52.12
Compare 2 stores 2 stores

Category Theory Using Haskell: An Introduction with Moggi and Yoneda (Computer Science...

£ 179.99
Compare 2 stores 2 stores
Featured Choice
£ 39.94
To Shop