Here, what we could find on your book search:

Ganesh Gopalakrishnan

If you are not able to find that specific book from the book comparison result below, try to refine your search keyword. Like, search for Book title and author together. For best results type in the books ISBN (ISBN 10 or ISBN 13).

Asynchronous Circuit Design for VLSI Signal Processing

Asynchronous Circuit Design for VLSI Signal Processing

Teresa H. Meng and Sharad Malik

Check Price (6 deals)
Computer Aided Verification

Computer Aided Verification

E. Allen Emerson and A. Prasad Sistla

Check Price (4 deals)
Formal Methods and Software Engineering

Formal Methods and Software Engineering

Jim Davies, Wolfram Schulte and Mike Barnett

Check Price (7 deals)
Computer Aided Verification

Computer Aided Verification

Gregor von Bochmann and David K. Probst

Check Price (9 deals)
Formal Techniques for Networked and Distributed Systems - FORTE 2002

Formal Techniques for Networked and Distributed Systems - FORTE 2002

Doron A. Peled and Moshe Y. Vardi

Check Price (5 deals)
Automata and Computability

Automata and Computability

Ganesh Gopalakrishnan

Check Price (6 deals)
Computer Aided Verification

Computer Aided Verification

Nicolas Halbwachs and Doron Peled

Check Price (7 deals)

BOOKS THAT SPEAKS TO YOU

Try Amazon Audible today for FREE. Cancel anytime

First Audiobook Free