Computation Engineering
Ganesh Gopalakrishnan
₹7,143
Computer Aided Verification
23rd International Conference
by Ganesh Gopalakrishnan, Shaz Qadeer
Springer · 2011
₹5,768
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Computer Aided Verification: 23rd International Conference is written by Ganesh Gopalakrishnan & Shaz Qadeer. This edition from Springer (2011).
Topics covered include Logic design, Software engineering, Computer science and Artificial intelligence.
Book details
- ISBN-13
- 9783642221095
- ISBN-10
- 3642221092
- Authors
- Ganesh Gopalakrishnan, Shaz Qadeer
- Publisher
- Springer
- Published
- 2011
- Language
- English
- Condition
- New
- Subject
- Integrated circuits
More by Ganesh Gopalakrishnan and related titles
Automata and Computability
Ganesh Gopalakrishnan
₹5,638
Automata and Computability
Ganesh Gopalakrishnan
₹3,928
Computation Engineering
Ganesh Gopalakrishnan
₹4,741
Models of Computation
Ganesh Gopalakrishnan
₹3,283
Analog Vlsi
KRAMER
₹3,124
Integrated Circuit Packaging, Assembly and Interconnections
William Greig
₹3,018
Polycrystalline Silicon for Integrated Circuits and Displays
Ted Kamins
₹17,686
3D Stacked Chips
Ibrahim (Abe) M. Elfadel, Gerhard Fettweis
₹4,271
VLSI Placement and Routing
Alan T. Sherman
₹4,193
Low-Power High-Level Synthesis for Nanoscale Cmos Circuits
Nagarajan Ranganathan, Elias Kougianos, Priyardarsan Patra, Saraju P. Mohanty
₹1,655
Reasoning in Boolean Networks
Dominik Stoffel, Wolfgang Kunz
₹11,543