booktheque

Tools and Algorithms for the Construction and Analysis of Systems

Christel Baier, Cesare Tinelli · 2015

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
2015
Language
English
Publisher
Springer Berlin / Heidelberg
Editions
2
Pages
725
ISBN
9783662466803

Data source: Wikidata

More by Christel Baier

Principles of model checking
Christel Baier · 2008
Validation of stochastic systems
Christel Baier · 2004
Foundations of Software Science and Computation Structures
Christel Baier · 2018
Formal Techniques for Distributed Objects, Components, and Systems
Christel Baier · 2018
CONCUR 2006 - Concurrency Theory
Christel Baier · 2006