booktheque

Tools and Algorithms for the Construction and Analysis of Systems

Sriram Sankaranarayanan, Natasha Sharygina · 2023

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

View on Amazon

Book details

Year
2023
Language
English
Publisher
Springer
Editions
2
ISBN
9783031308222

Data source: Wikidata

More by Sriram Sankaranarayanan

Formal Modeling and Analysis of Timed Systems
Sriram Sankaranarayanan · 2015
Verification, Model Checking, and Abstract Interpretation
Sriram Sankaranarayanan · 2025