CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 2 of 2 Results
1.
Tests and Proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023,...
Tests and Proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023,... by Prevosto, Virgile, Secelean... ISBN: 9783031388279 List Price: $54.99
$51.31 (Save 6%)
2.
Guide to Software Verification with Frama-C : Core Components, Usages, and Applications
Guide to Software Verification with Frama-C : Core Components, Usages, and Applications by Kosmatov, Nikolai, Prevosto... ISBN: 9783031556074
$64.90