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

Verification, Model Checking, and Abstract Interpretation

(Paperback)

Zufferey Damien Zufferey, Beyer Dirk Beyer,

Springer Nature B.V. (Publisher)

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

Ships within 12-14 days

Out Of Stock

₹4197.00
₹4239.00
1% off
Verification, Model Checking, and Abstract Interpretation

More books by Zufferey Damien Zufferey, Beyer Dirk Beyer

Cover of Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Dirk Beyer

₹8959.0₹5644.0
Cover of Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Zufferey Damien Zufferey

₹4323.15

Similar Products

Cover of Numerical Software Verification

Numerical Software Verification

Damien Zufferey

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

Verification, Model Checking, and Abstract Interpretation

Radhia Cousot

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

Verification, Model Checking, and Abstract Interpretation

Agostino Cortesi

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

Verification, Model Checking, and Abstract Interpretation

Francesco Logozzo

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

Verification, Model Checking, and Abstract Interpretation

Andreas Podelski

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

Verification, Model Checking, and Abstract Interpretation

Markus M Ller-Olm

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

Verification, Model Checking, and Abstract Interpretation

Gilles Barthe

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

Verification, Model Checking, and Abstract Interpretation

Phillip Mehrens

₹0.0
Vidya AI