Nicolas Halbwachs – författare

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

4 produkter

1. 

   Synchronous Programming of Reactive Systems

   Av Nicolas Halbwachs

   Inbunden, 1992

   739 kr

   Lägg i varukorg

2. 

   Synchronous Programming of Reactive Systems

   Av Nicolas Halbwachs

   Häftad, 2010

   739 kr

   Lägg i varukorg

3. 

   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, 2005

   1469 kr

   Lägg i varukorg

4. 

   Computer Aided Verification

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

   Av Nicolas Halbwachs, Doron Peled

   Häftad, 1999

   739 kr

   Lägg i varukorg