booktheque

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria · 2017

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
2017
Language
English
Publisher
Springer Berlin / Heidelberg
Editions
3
Pages
609
ISBN
9783662545768

Data source: Wikidata

More by Axel Legay

Runtime Verification
Axel Legay · 2013
Formal Modeling and Analysis of Timed Systems
Axel Legay · 2014