Browse Wholesale

Wholesale Books

Batch Upload

Select Curated List

Binding Format

Author

Publication Year Range

Interest Level

Accelerated Reader
(0.1 to 13)

A.R. Interest Level

Lexile Level (10 to 2000)

Lexile Code

Guided Reading Level

Dewey Category

Nonfiction Dewey Range

Series

Publisher

Language

Clear

Search

Lexile Level
AR Level

Sort By

Computer-Aided Verification: 2nd Internatonal Conference, Cav '90, New Brunswick, Nj, Usa, June 18-21, 1990. Proceedings (1991) 9783540544777 by Clarke, Edmund M - Springer, -1991 Dewey: 621.3815

N/A

Paperback $ 54.99

Digicover (1-4 copies) $67.94

Readerbound (5-99 copies) $66.74

100+ copies: $65.99

- +

Add to Cart

Model Checking, Second Edition 9780262038836 by Clarke, Edmund M - MIT Press, -2018 Dewey: 004.21

N/A

Hardcover $80.00

- +

Add to Cart

Product successfully added to cart!