Search
2 headings found for A. Pnueli
| Heading | Type | Sample Title | |
|---|---|---|---|
| 1 |
Pnueli, Amir, 1941-2009
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Pnueli, Amir. 
אמיר פנואלי 
أمير بنولي 
פנואלי, אמיר, 1941-2009
Pnueli, A. (Amir), 1941- 
Pnueli, A. 
|
Personal | Compilation of nonprocedural specifications ... 1981 Compositionality : the significant difference : international symposium, COMPOS ... Compilation of nonprocedural specifications ... 1981 Temporal Logic in Specification Altrincham, UK, April 8-10, 1987 Proceedings Compilation of nonprocedural specifications ... 1981 |
| 2 |
Pnueli, A. (Amir)
|
Personal | Integer programming over a cone |
