
Verification, Model Checking, and Abstract Interpretation
Ranjit Jhala, David Schmidt
₹5,609

22nd International Conference
by Ranjit Jhala
Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 2013
Free delivery. Nothing extra to pay at checkout.
Compiler Construction: 22nd International Conference by Ranjit Jhala is a 265-page book published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K in 2013.
Its main subjects are Software engineering, Operating systems (Computers), Computer science and Operating Systems.