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

Lexile Level
AR Level

Sort By

Types for Proofs and Programs: International Workshop, Types 2000, Durham, Uk, December 8-12, 2000. Selected Papers (2002) 9783540432876 by Callaghan, Paul - Springer, -2002 Dewey: 006.333

N/A

Paperback $ 54.99

Digicover (1-4 copies) $67.94

Readerbound (5-99 copies) $66.74

100+ copies: $65.99

- +

Add to Cart

Product successfully added to cart!