All 3 Nicolas Halbwachs releases on Paperback Book a... Book
Categories
Other
Support
AUD
In stock at iMusic
Show unavailable items
![Cover for Nicolas Halbwachs · Synchronous Programming of Reactive Systems - the Springer International Series in Engineering and Computer Science (Paperback Book) [1st Ed. Softcover of Orig. Ed. 1993 edition] (2010)](https://imusic.b-cdn.net/images/item/original/335/9781441951335.jpg?nicolas-halbwachs-2010-synchronous-programming-of-reactive-systems-the-springer-international-series-in-engineering-and-computer-science-paperback-book&class=scaled&v=1621064218)
![Cover for Nicolas Halbwachs · Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings - Lectu (Paperback Book) [2005 edition] (2005)](https://imusic.b-cdn.net/images/item/original/334/9783540253334.jpg?nicolas-halbwachs-2005-tools-and-algorithms-for-the-construction-and-analysis-of-systems-11th-international-conference-tacas-2005-held-as-part-of-the-joint-european-conference-on-theory-and-practice-of-software-etaps-2005-edinburgh-uk-april-4-8-2004-procee&class=scaled&v=1485663968)
![Cover for Nicolas Halbwachs · Synchronous Programming of Reactive Systems - The Springer International Series in Engineering and Computer Science (Hardcover Book) [1993 edition] (1992)](https://imusic.b-cdn.net/images/item/original/115/9780792393115.jpg?nicolas-halbwachs-1992-synchronous-programming-of-reactive-systems-the-springer-international-series-in-engineering-and-computer-science-hardcover-book&class=scaled&v=1410217511)