Clicky

Tools and Algorithms for the Construction and Analysis of Systems by Sriram Sankaranarayanan and similar books you'll love - Bookscovery

Home > Authors > Sriram Sankaranarayanan > Tools and Algorithms for the Construction and Analysis of Systems

Buy at: Bookshop.org Amazon

Tools and Algorithms for the Construction and Analysis of Systems

Sriram Sankaranarayanan, Natasha Sharygina

Recent activity

Rate this book to see your activity here.

5 Books Similar to Tools and Algorithms for the Construction and Analysis of Systems by Sriram Sankaranarayanan

Bookscovery readers who liked Tools and Algorithms for the Construction and Analysis of Systems 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

Verification, Model Checking, and Abstract Interpretation by Sriram Sankaranarayanan

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

Computer Aided Verification by Natasha Sharygina

Cover of Computer Aided Verification
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Tools and Algorithms for the Construction and Analysis of Systems

Please sign in to leave a comment