|
|

avaa valikko

Nicolas Halbwachs | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 4 tuotetta
Haluatko tarkentaa hakukriteerejä?



Synchronous Programming of Reactive Systems
Halbwachs, Nicolas
Springer
1992
Kovakantinen kirja
Synchronous Programming of Reactive Systems
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Tools and Algorithms for the Construction and Analysis of Systems - 11th International Conference, TACAS 2005, Held as Part of t
Halbwachs, Nicolas; Zuck, Lenore
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2005
Pehmeäkantinen kirja
Tools and Algorithms for the Construction and Analysis of Systems - 11th International Conference, TACAS 2005, Held as Part of t
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
100,90 €
Computer Aided Verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings
Halbwachs, Nicolas; Peled, Doron
Springer
1999
Pehmeäkantinen kirja
Computer Aided Verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Synchronous Programming of Reactive Systems
Halbwachs, Nicolas
Springer
2010
Pehmeäkantinen kirja
Synchronous Programming of Reactive Systems
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €