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
Runtime Verification (2007) 9783540773948 by Sokolsky, Oleg - Springer, -2007 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: 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
Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers (2013) 9783642356315 by Qadeer, Shaz - Springer, -2013 Dewey: 005.1

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 9781013271168 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
Verified Software. Theories, Tools and Experiments: 15th International Conference, Vstte 2023, Ames, Ia, Usa, October 23-24, 2023, Revised Selected Pa 9783031660634 by Reynolds, Andrew - Springer, -2024

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