Computer Science Foundations and Applied Logic Ser.: Guide to Software...
$50.00

Guide to software verification with Frama-C.
Core components,usages,and applications.
Birkhäuser book
Editors
Nikolai Kosmatov
Virgile Prevosto
Julien Signoles
This is a new book it has a few scratches on the front & back from the packaging box it was shipped in.

When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.