Gebundenes Buch Taschenbuch
Nicht verfügbare Artikel anzeigen

Releases von Ganesh Gopalakrishnan

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

Gebundenes Buch

Specification and Analysis of Di... (2026)

Ganesh Gopalakrishnan

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

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

Ganesh Gopalakrishnan

Cover for Ganesh Gopalakrishnan · Genitourinary Tuberculosis (Taschenbuch) (2020)

Genitourinary Tuberculosis (2020)

Ganesh Gopalakrishnan

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

Gebundenes Buch

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 (Taschenbuch) [2011 edition] (2011)

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

Ganesh Gopalakrishnan

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

Gebundenes Buch

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 (Taschenbuch) (1998)

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

Ganesh Gopalakrishnan