Your search returned 4 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
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.].

Series: Serienbezeichnung | Lecture notes in computer science ; 1536. 0302-9743.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).
Place hold Log in to add tags
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-.

Series: Serienbezeichnung | Lecture notes in computer science ; 5947. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher number: 12829361Publication details: Berlin : Springer, ©2010Other title: PSI 2009.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Time for verification : essays in memory of Amir Pnueli / Zohar Manna, Doron A. Peled (eds.).

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

Series: Serienbezeichnung | Lecture notes in computer science ; 6200. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2010Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
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).

Series: Serienbezeichnung | Lecture notes in computer science ; 398.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).
Place hold Log in to add tags
Pages

Powered by Koha