CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 10 of 10 Results
1.
Hardware and Software: Verification and Testing: 4th International Haifa Verification Confer...
Hardware and Software: Verification and Testing: 4th International Haifa Verification Confer... by Chockler, Hana, Hu, Alan J. ISBN: 9783642017018 List Price: $64.95
$51.31 (Save 21%)
2.
Coverage Metrics for Model Checking
Coverage Metrics for Model Checking by Chockler, Hana ISBN: 9783845421988 List Price: $84.00
$55.36 (Save 34%)
3.
Validation of Evolving Software
Validation of Evolving Software by Chockler, Hana, Kroening, D... ISBN: 9783319106229 List Price: $109.00
$51.31 (Save 52%)
4.
Validation of Evolving Software
Validation of Evolving Software by Chockler, Hana, Kroening, D... ISBN: 9783319382005 List Price: $109.00
$51.31 (Save 52%)
5.
Computer Aided Verification : 30th International Conference, CAV 2018, Oxford, UK, July 14-1...
Computer Aided Verification : 30th International Conference, CAV 2018, Oxford, UK, July 14-1... by Chockler, Hana, Weissenbach... ISBN: 9783319961446 List Price: $59.99
$55.84 (Save 6%)
6.
Computer Aided Verification : 30th International Conference, CAV 2018, Oxford, UK, July 14-1...
Computer Aided Verification : 30th International Conference, CAV 2018, Oxford, UK, July 14-1... by Chockler, Hana, Weissenbach... ISBN: 9783319961415 List Price: $59.99
$55.84 (Save 6%)
7.
Computer Aided Verification
Computer Aided Verification by Weissenbacher, Georg, Chock... ISBN: 9781013270987

OUT OF STOCK

See Availability on Amazon
8.
Computer Aided Verification
Computer Aided Verification by Weissenbacher, Georg, Chock... ISBN: 9781013270994

OUT OF STOCK

See Availability on Amazon
9.
Computer Aided Verification
Computer Aided Verification by Chockler, Hana, Weissenbach... ISBN: 9781013271007

OUT OF STOCK

See Availability on Amazon
10.
Computer Aided Verification
Computer Aided Verification by Chockler, Hana, Weissenbach... ISBN: 9781013271014

OUT OF STOCK

See Availability on Amazon