g G · Ganesh C. Gopalakrishnan · Ganesh Gopalakrishna
| title | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Automata and Computability: A Programmer's Perspective | 978-1-138-55242-5 | 2019 | ||
| Computation Engineering | 978-0-387-50509-1 | 2008 | ||
| Computation Engineering: Applied Automata Theory and Logic | 978-0-387-24418-1 | 2006 | ||
| Computation Engineering:: Formal Specification and Verification Methods | 978-0-387-24419-8 | 2007 | ||
| Computer Aided Verification: 23rd International Conference, C.A.V. 2011, Snowbird, U.T., U.S.A., July 14-20, 2011, Proceedings | 978-3-642-22109-5 | 2011 | Shaz Qadeer | |
| Formal Methods in Computer-Aided Design: Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings | 978-3-540-65191-8 | 2008 | Phillip Windley | |
| Models of Computation | 978-1-351-37427-9 | 2019 | ||
| Models of Computation | 978-1-351-37428-6 | 2019 | ||
| Models of Computation | 978-1-351-37429-3 | 2019 | ||
| Specification and Analysis of Discrete Systems:: A Programmer's Perspective | 978-1-138-55666-9 | 2020 | ||