CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 6 of 6 Results
1.
Verification, Model Checking, and Abstract Interpretation : 19th International Conference, V...
Verification, Model Checking, and Abstract Interpretation : 19th International Conference, V... by Dillig, Isil, Palsberg, Jens ISBN: 9783319737201 List Price: $107.00
$51.31 (Save 52%)
2.
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA...
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA... by Dillig, Isil, Tasiran, Serdar ISBN: 9783030255398 List Price: $59.99

OUT OF STOCK

See Availability on Amazon
3.
Computer Aided Verification
Computer Aided Verification by Tasiran, Serdar, Dillig, Isil ISBN: 9781013271175

OUT OF STOCK

See Availability on Amazon
4.
Computer Aided Verification
Computer Aided Verification by Tasiran, Serdar, Dillig, Isil ISBN: 9781013271144

OUT OF STOCK

See Availability on Amazon
5.
Computer Aided Verification
Computer Aided Verification by Tasiran, Serdar, Dillig, Isil ISBN: 9781013271151

OUT OF STOCK

See Availability on Amazon
6.
Computer Aided Verification
Computer Aided Verification by Tasiran, Serdar, Dillig, Isil ISBN: 9781013271168

OUT OF STOCK

See Availability on Amazon