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

Verification, Model Checking, and Abstract Interpretation

(Paperback)

Phillip Mehrens, I B Serverin, Wieland Kranich,

Springer (Publisher)

Published
2014
Reviews
0

Ships within 38-40 days

Out Of Stock

₹0.00
₹0.00
0% off
Verification, Model Checking, and Abstract Interpretation

More books by Phillip Mehrens, I B Serverin, Wieland Kranich

Cover of Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Phillip Mehrens

₹0.0

Similar Products

Cover of Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Radhia Cousot

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

Verification, Model Checking, and Abstract Interpretation

Agostino Cortesi

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

Verification, Model Checking, and Abstract Interpretation

Francesco Logozzo

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

Verification, Model Checking, and Abstract Interpretation

Andreas Podelski

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

Verification, Model Checking, and Abstract Interpretation

Markus M Ller-Olm

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

Verification, Model Checking, and Abstract Interpretation

Gilles Barthe

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

Verification, Model Checking, and Abstract Interpretation

Ranjit Jhala

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

Verification, Model Checking, and Abstract Interpretation

Dirk Beyer

₹8959.0₹5475
Vidya AI