Pnueli, Amir.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Perspectives of systems informatics = 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : revised papers /
by:
Pnueli, Amir.; Virbitskaite, Irina.; Voronkov, Andrei.; SpringerLink (Online service); International Andrei Ershov Memorial Conference (2009 :)
(Language materials, printed)
Compositionality = the significant difference : international symposium, COMPOS'97, Bad Malente, Germany, September 8-12 1997 : revised lectures /
by:
Langmaack, Hans.; Pnueli, Amir.; Roever, Willem-Paul de, (1943-); SpringerLink (Online service); COMPOS '97 ((1997 :)
(Language materials, printed)
Subjects