Free shipping on all orders over $79* Limited Time Only

My Wish Lists Login / Join

Results for author 'Ruben Gamboa'

Refine Your Results

subjects

Computing & I.T.

2

Mathematics

2

Science

2

lists

All Books

2

availability

All Books

2

price

$50 - $100

1

Over $100

1

formats

Paperbacks

1

Hardcovers

1

Language

Sort By:

Booktopia Recommends

Bestsellers

Price Low to High

Price High to Low

Most Recently Published

Interactive Theorem Proving : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings - Gerwin Klein

Interactive Theorem Proving

5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Gerwin Klein and Ruben Gamboa

Paperback

$84.99

Essential Logic for Computer Science : The MIT Press - Rex Page

Essential Logic for Computer Science

The MIT Press

Rex Page and Ruben Gamboa

Hardcover

$136.75

2 Results