Buy books written by Ruben Gamboa Available at Bookswagon
close menu
Bookswagon
search
My Account
Ruben Gamboa

Ruben Gamboa

Ruben Gamboa is Professor in the Department of Computer Science at the University of Wyoming.

3 results found
Filter0Switch to Grid View
List viewGrid view
Sort By:
1.
Interactive Theorem Proving
No Review Yet
AED195
Binding:
Paperback
Release:
01 Aug 2014
Language:
English
Available
Ships within 14-16 Days Explain..
2.
Essential Logic for Computer Science
Publisher: MIT Press Ltd
No Review Yet
AED147
Binding:
Hardback
Release:
08 Jan 2019
Language:
English
Available
Ships within 10-12 Days Explain..
3.
Interactive Theorem Proving
Publisher: Springer
No Review Yet
AED89
Binding:
Paperback
Release:
29 Jul 2014
Out of Stock
Notify me when this book is in stockNotify Me
No more records found
Your IP: 216.73.217.72 IN