50% Off The Criterion Collection Shop Now
201- 203 of 203 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Logic And Declarative Language / Edition 1, Author: M. Downward
QUICK ADD
Logic And Declarative Language…
by M. Downward
Paperback $51.99
Title: Rigorous Software Development: An Introduction to Program Verification / Edition 1, Author: Josï Bacelar Almeida
QUICK ADD
Rigorous Software Development:…
by Josï Bacelar Almeida, Maria Joïo Frade, Jorge Sousa Pinto, Simïo Melo de Sousa
Explore Series
Paperback $39.95
Title: Cooperation in Heterogeneous Theorem Prover Networks / Edition 1, Author: Dirk Fuchs
QUICK ADD
Cooperation in Heterogeneous…
by Dirk Fuchs
Hardcover $36.00

Pagination Links