booktheque

Tools and Algorithms for the Construction and Analysis of Systems

Nicolas Halbwachs, Lenore Zuck · 2005

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

Data source: Wikidata

More by Nicolas Halbwachs

Synchronous programming of reactive systems
Nicolas Halbwachs · 2013
Computer aided verification
Nicolas Halbwachs · 1999