Lets Explore,
Cover of Time for Verification

Time for Verification

(Paperback)

Doron a Peled,

Springer (Publisher)

Published
2011
Reviews
0
Mathematics and ScienceMathematicsMathematical foundationsMathematical logic

Ships within days

Out Of Stock

₹0.00
₹0.00
0% off
No description available.

More books by Doron a Peled

Cover of Model Checking

Model Checking

Helmut Veith

₹7520.0₹5866.0
Cover of Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Yih-Kuen Tsay

₹5699.0₹3647.0
Cover of Formal Techniques for Networked and Distributed Systems - FORTE 2002

Formal Techniques for Networked and Distributed Systems - FORTE 2002

Moshe Y. Vardi

₹5699.0₹3647.0
Cover of Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Francesco Logozzo

₹5699.0₹3647.0
Cover of Software Reliability Methods

Software Reliability Methods

Doron A. Peled

₹2876.0
Cover of Model Checking and Artificial Intelligence

Model Checking and Artificial Intelligence

Doron A. Peled

₹5699.0₹3647.0
Cover of Computer Aided Verification

Computer Aided Verification

Nicolas Halbwachs

₹5699.0₹3647.0
Cover of Runtime Verification

Runtime Verification

Saddek Bensalem

₹5699.0₹3647.0
Cover of Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Axel Legay

₹5699.0₹3647.0
Cover of Software Reliability Methods

Software Reliability Methods

Doron A. Peled

₹13939.0₹5715.0
Cover of Computer Aided Verification

Computer Aided Verification

Doron A. Peled

₹11384.0
Cover of Partial Order Methods in Verification

Partial Order Methods in Verification

Gerard J. Holzmann

₹13676.0₹9710.0
Cover of Dependable Software Systems Engineering

Dependable Software Systems Engineering

Doron Peled

₹16757.98
Cover of Formal Techniques for Networked and Distributed Systems - Forte 2002

Formal Techniques for Networked and Distributed Systems - Forte 2002

Doron a Peled

₹0.0
Cover of Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Doron a Peled

₹7650.74
Cover of Computer Aided Verification

Computer Aided Verification

Doron Peled

₹7650.74
Cover of Model Checking and Artificial Intelligence

Model Checking and Artificial Intelligence

Doron a Peled

₹7479.0₹3964.0
Cover of Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Yih-Kuen Tsay

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

Verification, Model Checking, and Abstract Interpretation

Francesco Logozzo

₹2201.45
Cover of Runtime Verification

Runtime Verification

Saddek Bensalem

₹2201.45
Cover of Engineering Dependable Software Systems

Engineering Dependable Software Systems

Manfred Broy

₹12304.92
Cover of Model Checking

Model Checking

Orna Grumberg

₹5181.46
Cover of Time for Verification

Time for Verification

Zohar Manna

₹2201.45
Cover of Dependable Software Systems Engineering

Dependable Software Systems Engineering

Doron Peled

₹10925.0₹10747.05
Cover of Dependable Software Systems Engineering

Dependable Software Systems Engineering

Doron Peled

₹9424.0₹8613.21
Cover of Software Reliability Methods

Software Reliability Methods

Doron a Peled

₹4323.15
Cover of Engineering Dependable Software Systems

Engineering Dependable Software Systems

Manfred Broy

₹10925.0₹10765.35
Cover of Time for Verification

Time for Verification

Zohar Manna

₹7695.0₹6801.03

Similar Products

Cover of Time for Verification

Time for Verification

Zohar Manna

₹7695.0₹6801.03
Cover of Runtime Verification

Runtime Verification

Saddek Bensalem

₹2201.45
Cover of Computer Aided Verification

Computer Aided Verification

Nicolas Halbwachs

₹5699.0₹3647.0
Cover of Temporal Verification of Reactive Systems

Temporal Verification of Reactive Systems

Zohar Manna

₹2201.45
Cover of Temporal Verification of Reactive Systems

Temporal Verification of Reactive Systems

Zohar Manna

₹5450.0
Cover of Temporal Verification of Reactive Systems

Temporal Verification of Reactive Systems

Zohar Manna

₹12539.0₹7900.0
Cover of Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Yih-Kuen Tsay

₹2201.45
Cover of Partial Order Methods in Verification

Partial Order Methods in Verification

Gerard J. Holzmann

₹13676.0₹9710.0
Vidya AI