CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 14 of 14 Results
1.
Computation Engineering Applied Automata Theory And Logic
Computation Engineering Applied Automata Theory And Logic by Gopalakrishnan, Ganesh ISBN: 9780387244181 List Price: $124.00
$17.36 (Save 86%)
2.
Computation Engineering: Applied Automata Theory and Logic
Computation Engineering: Applied Automata Theory and Logic by Gopalakrishnan, Ganesh ISBN: 9781441937414 List Price: $124.00
$113.83 (Save 8%)
3.
Computer Aided Verification : 23rd International Conference, CAV 2011, Snowbird, UT, USA, Ju...
Computer Aided Verification : 23rd International Conference, CAV 2011, Snowbird, UT, USA, Ju... by Gopalakrishnan, Ganesh, Qad... ISBN: 9783642221095 List Price: $131.00
$51.31 (Save 60%)
4.
Formal Methods in Computer-Aided Design Second Internaitonal Conference, Fmcad '98 Palo Alto...
Formal Methods in Computer-Aided Design Second Internaitonal Conference, Fmcad '98 Palo Alto... by FMCAD '98 Staff, Gopalakris... ISBN: 9783540651918 List Price: $91.00
$52.33 (Save 42%)
5.
Theorem Proving In Higher Order Logic 17th International Conference, Tphols 2004, Park City,...
Theorem Proving In Higher Order Logic 17th International Conference, Tphols 2004, Park City,... by Slind, Konrad, Bunker, Anne... ISBN: 9783540230175 List Price: $67.00
$52.33 (Save 21%)
6.
Models of Computation
Models of Computation by Gopalakrishnan, Ganesh ISBN: 9781138552425

OUT OF STOCK

See Availability on Amazon
7.
A Treatise on Turbomachines
A Treatise on Turbomachines by Ganesh C. Gopalakrishnan ISBN: 9788187328988

OUT OF STOCK

See Availability on Amazon
8.
Computation Engineering Formal Specification And Verification Methods
Computation Engineering Formal Specification And Verification Methods by Gopalakrishnan, Ganesh ISBN: 9780387244198 List Price: $89.00

OUT OF STOCK

See Availability on Amazon
9.
Genitourinary Tuberculosis
Genitourinary Tuberculosis by Gopalakrishnan, Ganesh, Pat... ISBN: 9789389776683

OUT OF STOCK

See Availability on Amazon
10.
Proceedings of the 7th Workshop on Parallel and Distributed Systems : Testing, Analysis, and...
Proceedings of the 7th Workshop on Parallel and Distributed Systems : Testing, Analysis, and... by Gopalakrishnan, Ganesh ISBN: 9781605586557 List Price: $99.00

OUT OF STOCK

See Availability on Amazon
11.
Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics by Slind, Konrad, Bunker, Anne... ISBN: 9783662211625 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
12.
Formal Methods in Computer-Aided Design
Formal Methods in Computer-Aided Design by Gopalakrishnan, Ganesh, Win... ISBN: 9783662204689 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
13.
Specification and Analysis of Discrete Systems
Specification and Analysis of Discrete Systems by Gopalakrishnan, Ganesh ISBN: 9781138556669

OUT OF STOCK

See Availability on Amazon
14.
Automata and Computability: a Programmer's Perspective
Automata and Computability: a Programmer's Perspective by Gopalakrishnan, Ganesh ISBN: 9780367656546

OUT OF STOCK

See Availability on Amazon