booktheque

Formal modeling and analysis of timed systems

Jean-Francois Raskin, P. S. Thiagarajan · 2007

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
2007
Language
English
Series
Lecture notes in computer science -- 4763.
Publisher
Springer
Editions
3
Pages
368
ISBN
9783540754534

Data source: Wikidata