|
|

avaa valikko

Amir Pnueli | Akateeminen Kirjakauppa

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



Manna, Zohar; Pnueli, Amir
Springer-Verlag New York Inc.
2012
Pehmeäkantinen kirja
The Temporal Logic of Reactive and Concurrent Systems - Specification
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Roever, Willem-Paul de; Langmaack, Hans; Pnueli, Amir
Springer
1998
Pehmeäkantinen kirja
Compositionality: The Significant Difference : International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
100,90 €
Pnueli, Amir; Voronkov, Andrei
Springer
2010
Pehmeäkantinen kirja
Perspectives of Systems Informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Manna, Zohar; Pnueli, Amir
Springer-Verlag New York Inc.
1995
Kovakantinen kirja
Temporal Verification of Reactive Systems - Safety
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
100,90 €
Manna, Zohar; Pnueli, Amir
Springer-Verlag New York Inc.
1991
Kovakantinen kirja
The Temporal Logic of Reactive and Concurrent Systems - Specification
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
110,90 €
Banieqbal, Behnam; Barringer, Howard; Pnueli, Amir
Springer
1989
Pehmeäkantinen kirja
Temporal Logic in Specification : Altrincham, UK, April 8-10, 1987, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Wiedijk, Freek; Maler, Oded; Pnueli, Amir
Springer
2003
Pehmeäkantinen kirja
Hybrid Systems: Computation and Control : 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
100,90 €
Manna, Zohar; Pnueli, Amir
Springer-Verlag New York Inc.
2012
Pehmeäkantinen kirja
Temporal Verification of Reactive Systems - Safety
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
110,90 €