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

Verification, Model Checking, and Abstract Interpretation

(Paperback)

Neil D. Jones, Helen M. Creese,

Springer (Publisher)

Published
16/03/2009
Reviews
0
Computing and Information TechnologyComputer programming / software engineeringProgramming and scripting languages: general

Ships within days

Out Of Stock

₹0.00
₹0.00
0% off
No description available.

Similar Products

Cover of Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

K. Rustan M. Leino

₹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
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

Akash Lal

₹5599.0₹3475.51
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

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