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; Format:
available online
; 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).
|
|
|
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; Format:
available online
; 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).
|
|
|
|
|
|
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; Format:
available online
; 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).
|