Releases by Nicolas Halbwachs

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)

1st Ed. Softcover of Orig. Ed. 1993 edition

Synchronous Programming of React... (2010)

Nicolas Halbwachs

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)

Tools and Algorithms for the Con... (2005)

Nicolas Halbwachs

Cover for Nicolas Halbwachs · Synchronous Programming of Reactive Systems - The Springer International Series in Engineering and Computer Science (Hardcover Book) [1993 edition] (1992)

Synchronous Programming of React... (1992)

Nicolas Halbwachs