Nicolas Halbwachs – författare

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

4 produkter

Kategorier

4 produkter

Synchronous Programming of Reactive Systems
AvNicolas Halbwachs
Inbunden, Engelska, 1992
739 kr
Skickas inom 10-15 vardagar
Del 215
Del 215 - Springer International Series in Engineering and Computer Science
Synchronous Programming of Reactive Systems
AvNicolas 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
AvNicolas Halbwachs,Lenore Zuck
Häftad, Engelska, 2005
1 459 kr
Skickas inom 10-15 vardagar
Computer Aided Verification
11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings
AvNicolas Halbwachs,Doron Peled
Häftad, Engelska, 1999
729 kr
Skickas inom 10-15 vardagar