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

Verification, Model Checking, and Abstract Interpretation

(Paperback)

Doron A. Peled,

Springer (Publisher)

Published
04/09/2008
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.

More books by Doron A. Peled

Cover of Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Yih-Kuen Tsay

₹5599.0₹3475.51
Cover of Formal Techniques for Networked and Distributed Systems - FORTE 2002

Formal Techniques for Networked and Distributed Systems - FORTE 2002

Moshe Y. Vardi

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

Verification, Model Checking, and Abstract Interpretation

Francesco Logozzo

₹5599.0₹3475.51
Cover of Software Reliability Methods

Software Reliability Methods

Doron A. Peled

₹2835.0₹2749.95
Cover of Model Checking and Artificial Intelligence

Model Checking and Artificial Intelligence

Doron A. Peled

₹5599.0₹3475.51
Cover of Runtime Verification

Runtime Verification

Saddek Bensalem

₹5599.0₹3475.51
Cover of Computer Aided Verification

Computer Aided Verification

Doron A. Peled

₹11384.0₹11156.32
Cover of Software Reliability Methods

Software Reliability Methods

Doron A. Peled

₹13939.0₹5600.70
Cover of Time for Verification

Time for Verification

Zohar Manna

₹7695.0₹6665.01

Similar Products

Cover of Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Francesco Logozzo

₹5599.0₹3475.51
Cover of Model Checking

Model Checking

Orna Grumberg

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

Andreas Podelski

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

Gilles Barthe

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

Verification, Model Checking, and Abstract Interpretation

Phillip Mehrens

₹0.0
Vidya AI