IST Austria Library

Your search returned 4 results.

Not what you expected? Check for suggestions
1.
Compositionality : the Significant Difference : International Symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997 : Revised Lectures / Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.).

by COMPOS '97 (1997 : Malente, Germany) | Roever, W.-P. de, 1943- [editor.] | Langmaack, Hans [editor] | Pnueli, Amir, 1941-2009 [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, [1998]Copyright date: ©1998Other title: COMPOS '97.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
2.
Perspectives of systems informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : revised papers / Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.).

by International Andrei Ershov Memorial Conference (7th : 2009 : Novosibirsk, Russia) | Pnueli, Amir, 1941-2009 | Virbitskaite, Irina | Voronkov, Andrei, 1959-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, ©2010Other title: PSI 2009.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
3.
Time for verification : essays in memory of Amir Pnueli / Zohar Manna, Doron A. Peled (eds.).

by Manna, Zohar | Peled, Doron A, 1962-.

Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2010Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
4.
Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings / B. Banieqbal, H. Barringer, A. Pnueli (eds.).

by Banieqbal, B. (Behnam), 1960- | Barringer, Howard, 1951- | Pnueli, Amir, 1941-2009 | Colloquium on Temporal Logic in Specification (1987 : Altrincham, England).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1989Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags

Powered by Koha