booktheque

Tools and Algorithms for the Construction and Analysis of Systems

Javier Esparza, Rupak Majumdar · 2010

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
2010
Language
English
Publisher
Springer London, Limited
Editions
1
ISBN
9783642120022

Data source: Wikidata

More by Javier Esparza

Finite and algorithmic model theory
Javier Esparza · 2011
Automata, Languages, and Programming
Javier Esparza · 2014
Finite and algorithmic model theory
Javier Esparza · 2011
Unfoldings
Javier Esparza · 2008
Automata Theory
Javier Esparza · 2023
Foundations of Software Science and Computation Structures
Javier Esparza · 2017
Application and Theory of Petri Nets 2002
Javier Esparza · 2003