CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 6 of 6 Results
1.
Tests and Proofs : 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - J...
Tests and Proofs : 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - J... by Gogolla, Martin, Wolff, Bur... ISBN: 9783642217678 List Price: $72.00
$51.31 (Save 28%)
2.
Testing Software and Systems : 23rd IFIP WG 6. 1 International Conference, ICTSS 2011, Paris...
Testing Software and Systems : 23rd IFIP WG 6. 1 International Conference, ICTSS 2011, Paris... by Wolff, Burkhart, Zaidi, Fatiha ISBN: 9783642245794 List Price: $89.95
$51.31 (Save 42%)
3.
Formal Approaches to Software Testing and Runtime Verification First Combined International ...
Formal Approaches to Software Testing and Runtime Verification First Combined International ... by Havelund, Klaus, Wolff, Bur... ISBN: 9783540496991 List Price: $63.00
$44.47 (Save 29%)
4.
Theorem Proving in Higher Order Logics 16th International Conference, Tphols 2003, Rome, Ita...
Theorem Proving in Higher Order Logics 16th International Conference, Tphols 2003, Rome, Ita... by Basin, David, Wolff, Burkhart ISBN: 9783540406648 List Price: $79.95
$52.33 (Save 34%)
5.
Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics by Basin, David, Wolff, Burkhart ISBN: 9783662199480 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
6.
Tests and Proofs : 12th International Conference, TAP 2018, Held As Part of STAF 2018, Toulo...
Tests and Proofs : 12th International Conference, TAP 2018, Held As Part of STAF 2018, Toulo... by Dubois, Catherine, Wolff, B... ISBN: 9783319929934 List Price: $59.99
$51.31 (Save 14%)