|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Automata and Computability: A Programmer's Perspective | Gopalakrishnan, Ganesh | Hardcover | 1138552429 /
9781138552425 | 02/2019 | $104.50 |
|  | Computation Engineering: Applied Automata Theory and Logic 2006 Edition | Gopalakrishnan, Ganesh | Hardcover | 0387244182 /
9780387244181 | 06/2006 | $117.80 |
|  | Computation Engineering: Applied Automata Theory and Logic | Gopalakrishnan, Ganesh | Paperback | 1441937412 /
9781441937414 | 10/2010 | $117.80 |
|  | Computation Engineering:: Formal Specification and Verification Methods | Gopalakrishnan, Ganesh | Hardcover | 0387244190 /
9780387244198 | 12/2007 | $84.55 |
|  | Computer Aided Verification: 23rd International Conference, Cav 2011, Snowbird, Ut, Usa, July 14-20, 2011, Proceedings 2011 Edition | Gopalakrishnan, Ganesh | Paperback | 3642221092 /
9783642221095 | 07/2011 | $52.24 |
|  | Formal Methods in Computer-Aided Design: Second International Conference, Fmcad '98, Palo Alto, Ca, Usa, November 4-6, 1998, Proceedings 1998 Edition (Lecture Notes in Computer Science) | Gopalakrishnan, Ganesh | Paperback | 3540651918 /
9783540651918 | 10/1998 | $52.24 |
|  | Specification and Analysis of Discrete Systems:: A Programmer's Perspective | Gopalakrishnan, Ganesh | Hardcover | 1138556661 /
9781138556669 | 01/2026 | $85.45 |
|
|
|