booktheque

Synchronous programming of reactive systems

Nicolas Halbwachs · 2013

Where to buy

Check today’s price on Amazon. We do not show prices because they change daily.

View on Amazon

Affiliate link. As an Amazon Associate we earn from qualifying purchases.

Book details

Year
2013
Language
English
Publisher
Springer London, Limited
Editions
1
ISBN
9781475722314

Data source: Wikidata

More by Nicolas Halbwachs

Computer aided verification
Nicolas Halbwachs · 1999
Tools and Algorithms for the Construction and Analysis of Systems
Nicolas Halbwachs · 2005