CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 3 of 3 Results
1.
Testing Software and Systems: 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, ...
Testing Software and Systems: 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, ... by Gaston, Christophe, Kosmato... ISBN: 9783030312794 List Price: $94.00

OUT OF STOCK

See Availability on Amazon
2.
Tests and Proofs : 9th International Conference, TAP 2015, Held As Part of STAF 2015, l`Aqui...
Tests and Proofs : 9th International Conference, TAP 2015, Held As Part of STAF 2015, l`Aqui... by Blanchette, Jasmin Christia... ISBN: 9783319212142 List Price: $72.00
$51.31 (Save 28%)
3.
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