CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 4 of 4 Results
1.
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%)
2.
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
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
4.
Integrated Formal Methods : 19th International Conference, IFM 2024, Manchester, UK, Novembe...
Integrated Formal Methods : 19th International Conference, IFM 2024, Manchester, UK, Novembe... by Kosmatov, Nikolai, Kov�cs, ... ISBN: 9783031765537 List Price: $139.99
$128.31 (Save 8%)