Computer Aided VerificationGanesh Gopalakrishnan
Computer Aided Verification
Ganesh Gopalakrishnan · 2011
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2011
- Language
- English
- Series
- Lecture Notes in Computer Science -- 6806
- Publisher
- Springer-Verlag GmbH Berlin Heidelberg
- Editions
- 1
- ISBN
- 9783642221095
Data source: Wikidata
More by Ganesh Gopalakrishnan
Computation Engineering:Ganesh Gopalakrishnan
Computation Engineering:
Ganesh Gopalakrishnan · 2006
Automata and ComputabilityGanesh Gopalakrishnan
Automata and Computability
Ganesh Gopalakrishnan · 2019
Specification and Analysis of Discrete SystemsGanesh Gopalakrishnan
Specification and Analysis of Discrete Systems
Ganesh Gopalakrishnan · 2023
Genitourinary TuberculosisGanesh Gopalakrishnan
Genitourinary Tuberculosis
Ganesh Gopalakrishnan · 2020
Computation Engineering: Applied Automata Theory and LogicGanesh Gopalakrishnan
Computation Engineering: Applied Automata Theory and Logic
Ganesh Gopalakrishnan · 2006
Formal Methods in Computer-Aided DesignGanesh Gopalakrishnan
Formal Methods in Computer-Aided Design
Ganesh Gopalakrishnan · 2003