Hoppa till sidans huvudinnehåll

Nicolas Halbwachs – författare

Visar alla böcker från författaren Nicolas Halbwachs.
4 produkter
Nicolas Halbwachs - Synchronous Programming of Reactive Systems, Inbunden

Synchronous Programming of Reactive Systems

AvNicolas Halbwachs

Inbunden, Engelska, 1992

729 kr

Skickas inom 10-15 vardagar

Nicolas Halbwachs - Synchronous Programming of Reactive Systems, Häftad
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

Nicolas Halbwachs, Lenore Zuck - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

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 449 kr

Skickas inom 10-15 vardagar

Nicolas Halbwachs, Doron Peled - Computer Aided Verification, Häftad

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