Clicky

Automated Technology for Verification and Analysis by S. Akshay and similar books you'll love - Bookscovery

Home > Authors > S. Akshay > Automated Technology for Verification and Analysis

Buy at: Bookshop.org Amazon

Automated Technology for Verification and Analysis

S. Akshay, Aina Niemetz, Sriram Sankaranarayanan

Recent activity

Rate this book to see your activity here.

4 Books Similar to Automated Technology for Verification and Analysis by S. Akshay

Bookscovery readers who liked Automated Technology for Verification and Analysis also like Formal Modeling and Analysis of Timed Systems, Integer Programming Games and Tools and Algorithms for the Construction and Analysis of Systems. How many of these have you read?

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

Verification, Model Checking, and Abstract Interpretation by Sriram Sankaranarayanan

Cover of Verification, Model Checking, and Abstract Interpretation
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Automated Technology for Verification and Analysis

Please sign in to leave a comment