Nicolas Halbwachs - Böcker

Visar alla böcker från författaren Nicolas Halbwachs.

4 produkter

Kategorier

4 produkter

Synchronous Programming of Reactive Systems

Av Nicolas Halbwachs

Inbunden, Engelska, 1992

729 kr

Skickas inom 10-15 vardagar

Synchronous Programming of Reactive Systems

Av Nicolas Halbwachs

Häftad, Engelska, 2010

729 kr

Skickas inom 10-15 vardagar

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

Av Nicolas Halbwachs, Lenore Zuck

Häftad, Engelska, 2005

1 449 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings

Av Nicolas Halbwachs, Doron Peled

Häftad, Engelska, 1999

729 kr

Skickas inom 10-15 vardagar