Lets Explore,
Cover of Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

(Paperback)

Larsen Kim Guldstrand Larsen, D'Souza Deepak D'Souza, Lal Akash Lal,

Springer Nature B.V. (Publisher)

Published
2015
Reviews
0
Computing and Information TechnologyComputer programming / software engineering

Ships within 12-14 days

Out Of Stock

₹4114.00
₹4239.00
3% off
Verification, Model Checking, and Abstract Interpretation

More books by Larsen Kim Guldstrand Larsen, D'Souza Deepak D'Souza, Lal Akash Lal

Cover of Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Akash Lal

₹5599.0₹3475.51
Cover of Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Larsen Kim Guldstrand Larsen

₹4323.15₹4236.69

Similar Products

Cover of Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Akash Lal

₹5599.0₹3475.51
Cover of Model checking trace-based information flow properties

Model checking trace-based information flow properties

Raghavendra Kagalavadi Ramesh

₹4035.19₹3954.49
Cover of Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Markus M Ller-Olm

₹2201.45₹2135.41
Cover of Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Lenore D. Zuck

₹5831.0₹5714.38
Cover of Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Francesco Logozzo

₹5599.0₹3475.51
Cover of Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Radhia Cousot

₹2201.45₹2135.41
Cover of Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Agostino Cortesi

₹2201.45₹2135.41
Cover of Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Francesco Logozzo

₹2201.45₹2135.41
Vidya AI