Book Ordering & Bindery: (800) 875-9911
Contact Us

Browse Wholesale

Wholesale Books

Batch Upload

Curated Lists

More Filters

Clear
Search
Lexile Level
AR Level
Computer Aided Verification 9781013271144 by Tasiran, Serdar - Saint Philip Street Press, -2020

N/A
- +
Add to Cart
Verification, Model Checking, and Abstract Interpretation: 19th International Conference, Vmcai 2018, Los Angeles, Ca, Usa, January 7-9, 2018, Proceed 9783319737201 by Dillig, Isil - Springer, -2018 Dewey: 005.1015113

N/A
- +
Add to Cart
Computer Aided Verification: 31st International Conference, Cav 2019, New York City, Ny, Usa, July 15-18, 2019, Proceedings, Part II (2019) 9783030255428 by Dillig, Isil - Springer, -2019 Dewey: 005.1

N/A
- +
Add to Cart
Computer Aided Verification: 31st International Conference, Cav 2019, New York City, Ny, Usa, July 15-18, 2019, Proceedings, Part I (2019) 9783030255398 by Dillig, Isil - Springer, -2019 Dewey: 005.1

N/A
- +
Add to Cart
Computer Aided Verification 9781013271168 by Tasiran, Serdar - Saint Philip Street Press, -2020

N/A
- +
Add to Cart
Computer Aided Verification 9781013271175 by Tasiran, Serdar - Saint Philip Street Press, -2020

N/A
- +
Add to Cart
Computer Aided Verification 9781013271151 by Tasiran, Serdar - Saint Philip Street Press, -2020

N/A
- +
Add to Cart
Product successfully added to cart!