Hardcover Book Paperback Book
Näytä loppuunmyydyt julkaisut

Julkaisut sisältäen Ganesh Gopalakrishnan

Cover for Ganesh Gopalakrishnan · Specification and Analysis of Discrete Systems:: A Programmer’s Perspective (Hardcover Book) (2026)

Specification and Analysis of Di... (2026)

Ganesh Gopalakrishnan

Cover for Ganesh Gopalakrishnan · Automata and Computability: A Programmer's Perspective (Paperback Book) (2020)

Automata and Computability: A Pr... (2020)

Ganesh Gopalakrishnan

Cover for Ganesh Gopalakrishnan · Genitourinary Tuberculosis (Paperback Book) (2020)

Genitourinary Tuberculosis (2020)

Ganesh Gopalakrishnan

Cover for Ganesh Gopalakrishnan · Automata and Computability: A Programmer's Perspective (Hardcover Book) (2019)

Automata and Computability: A Pr... (2019)

Ganesh Gopalakrishnan

Cover for Ganesh Gopalakrishnan · Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2011 edition] (2011)

Computer Aided Verification: 23r... (2011)

Ganesh Gopalakrishnan

Cover for Ganesh Gopalakrishnan · Computation Engineering:: Formal Specification and Verification Methods (Hardcover Book) (2007)

Computation Engineering:: Formal... (2007)

Ganesh Gopalakrishnan

Cover for Ganesh Gopalakrishnan · Formal Methods in Computer-aided Design: Second International Conference, Fmcad '98, Palo Alto, Ca, Usa, November 4-6, 1998, Proceedings - Lecture Notes in Computer Science (Paperback Book) (1998)

Formal Methods in Computer-aided... (1998)

Ganesh Gopalakrishnan