Lets Explore,
Cover of Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

(Paperback)

Sankaranarayanan Sriram Sankaranarayanan, Sharygina Natasha Sharygina,

Springer Nature B.V. (Publisher)

Published
2023
Reviews
0
Computing and Information TechnologyComputer science

Ships within 12-14 days

Free Shipping in India

International Edition

₹4674.00
₹4819.00
3% off
1
Tools and Algorithms for the Construction and Analysis of Systems

More books by Sankaranarayanan Sriram Sankaranarayanan, Sharygina Natasha Sharygina

Cover of Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Natasha Sharygina

₹4479.0₹2867.0
Cover of Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Natasha Sharygina

₹4479.0₹2867.0
Cover of Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Sankaranarayanan Sriram Sankaranarayanan

₹3750.0
Cover of Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Sankaranarayanan Sriram Sankaranarayanan

₹3828.0

Similar Products

Cover of Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Sankaranarayanan Sriram Sankaranarayanan

₹3750.0
Cover of Computer Aided Verification

Computer Aided Verification

Veith Helmut Veith

₹4323.15
Cover of Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Sriram Sankaranarayanan

₹16799.0₹10583.0
Cover of Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Sriram Sankaranarayanan

₹14559.0₹9172.0
Cover of Computer Aided Verification

Computer Aided Verification

Helmut Veith

₹11199.0₹7055.0
Cover of Stern Robert A.M. - 1981-1987

Stern Robert A.M. - 1981-1987

Sriram Sankaranarayanan

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

Verification, Model Checking, and Abstract Interpretation

Sriram Sankaranarayanan

₹7279.0₹4586.0
Cover of Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Sriram Sankaranarayanan

₹7279.0₹4586.0
Vidya AI