Clicky

Verification, Model Checking, and Abstract Interpretation by Sriram Sankaranarayanan and similar books you'll love - Bookscovery

Home > Authors > Sriram Sankaranarayanan > Verification, Model Checking, and Abstract Interpretation

Buy at: Bookshop.org Amazon

Verification, Model Checking, and Abstract Interpretation

Sriram Sankaranarayanan, Ashutosh Trivedi, Krishna Shankaranarayanan

Recent activity

Rate this book to see your activity here.

4 Books Similar to Verification, Model Checking, and Abstract Interpretation by Sriram Sankaranarayanan

Bookscovery readers who liked Verification, Model Checking, and Abstract Interpretation also like Automated Technology for Verification and Analysis, Formal Modeling and Analysis of Timed Systems and Integer Programming Games. How many of these have you read?

Automated Technology for Verification and Analysis by S. Akshay

Cover of Automated Technology for Verification and Analysis
Buy this book at:
Bookshop.org Amazon

Formal Modeling and Analysis of Timed Systems by Sriram Sankaranarayanan

Cover of Formal Modeling and Analysis of Timed Systems
Buy this book at:
Bookshop.org Amazon

Integer Programming Games by Margarida Carvalho

Cover of Integer Programming Games
Buy this book at:
Bookshop.org Amazon

Tools and Algorithms for the Construction and Analysis of Systems by Sriram Sankaranarayanan

Cover of Tools and Algorithms for the Construction and Analysis of Systems
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Verification, Model Checking, and Abstract Interpretation

Please sign in to leave a comment