Nicolas Halbwachs - Böcker

Visar alla böcker från författaren Nicolas Halbwachs.
4 produkter
Nicolas Halbwachs - Synchronous Programming of Reactive Systems, Inbunden
Del 215 - Springer International Series in Engineering and Computer Science

Synchronous Programming of Reactive Systems

Av Nicolas Halbwachs

Inbunden, Engelska, 1992

729 kr

Skickas inom 7-10 vardagar
Nicolas Halbwachs - Synchronous Programming of Reactive Systems, Häftad

Synchronous Programming of Reactive Systems

Av Nicolas Halbwachs

Häftad, Engelska, 2010

729 kr

Skickas inom 7-10 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

Av Nicolas Halbwachs, Lenore Zuck

Häftad, Engelska, 2005

1 449 kr

Skickas inom 7-10 vardagar
Nicolas Halbwachs, Doron Peled - Computer Aided Verification, Häftad
Del 1633 - Lecture Notes in Computer Science

Computer Aided Verification

Av Nicolas Halbwachs, Doron Peled

Häftad, Engelska, 1999

729 kr

Skickas inom 7-10 vardagar