Hoppa till sidans huvudinnehåll

Nicolas Halbwachs - Böcker

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

Synchronous Programming of Reactive Systems

AvNicolas Halbwachs

Inbunden, Engelska, 1992

719 kr

Skickas inom 10-15 vardagar

Synchronous Programming of Reactive Systems

AvNicolas Halbwachs

Häftad, Engelska, 2010

719 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 419 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

719 kr

Skickas inom 10-15 vardagar