Compiler Construction
Ranjit Jhala
₹3,642
Verification, Model Checking, and Abstract Interpretation
12th International Conference
by Ranjit Jhala, David Schmidt
Springer · 2011
₹5,609
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
Published by Springer in 2011, Verification, Model Checking, and Abstract Interpretation: 12th International Conference by Ranjit Jhala & David Schmidt is available as a new copy.
Its main subjects are Logic design, Computer science, Software engineering and Computer software.
Book details
- ISBN-13
- 9783642182747
- ISBN-10
- 3642182747
- Authors
- Ranjit Jhala, David Schmidt
- Publisher
- Springer
- Published
- 2011
- Language
- English
- Condition
- New
More by Ranjit Jhala and related titles
Advances in Communication, Network, and Computing
Vinu V. Das
₹4,254
Design and Analysis of Approximation Algorithms
Xiaodong Hu, Ker-I Ko, Ding-Zhu Du
₹4,248
Parallel Computation
Laszlo Böszörmenyi
₹5,499
Cryptography and Coding
Liqun Chen
₹5,652
Algorithms for Sensor Systems
Thomas Erlebach, Sotiris Nikoletseas, Pekka Orponen
₹5,478
Ai 2011
Dianhui Wang, Mark Reynolds
₹5,821
Distributed Computing and Networking
Davide Frey, Michel Raynal, Rudrapatna K. Shyamasundar, Prasun Sinha
₹4,283
Information and Communication Security
Sihan Qing, Willy Susilo, Guilin Wang
₹5,609
Computer Vision - ACCV 2010
Ron Kimmel, Reinhard Klette, Akihiro Sugimoto
₹5,126
Computer Vision - Accv 2010
Reinhard Klette, Ron Kimmel, Akihiro Sugimoto
₹4,636
The Multivariate Algorithmic Revolution and Beyond
Hans L. Bodlaender, Rodney Downey, Fedor V. Fomin
₹5,652