Pnueli, Amir.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
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 :)
(書目-語言資料,印刷品)
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 :)
(書目-語言資料,印刷品)
主題