Guide to Software Verification with Frama-C : Core Components, Usages, and Applications

Guide to Software Verification with Frama-C : Core Components, Usages, and Applications

Guide to Software Verification with Frama-C : Core Components, Usages, and Applications

Barcode: 09783031556074
Brand: Springer International Publishing AG
Best Priced
sold by Hive Books
Hive Books
£49.15
Visit Store
Our site contains affiliate links, and we may earn a commission for purchases made through these links at no extra cost to you.This helps support our work in bringing you the best price comparisons.

More From Springer International Publishing AG

Price History

Excluding delivery costs, shows the lowest price over time.

Other Products You Might Like