| LC control no. | n 85817647 |
|---|---|
| Descriptive conventions | rda |
| Personal name heading | Pnueli, Amir, 1941-2009 |
| Variant(s) | Pnueli, A. Pnueli, A. (Amir), 1941-2009 |
| Birth date | 19410422 |
| Death date | 20091102 |
| Profession or occupation | Computer scientist |
| Found in | nuc85-59818: Prywes, N.S. Compilation of nonprocedural specifications ... 1981 (hdg. on IaU rept.: Pnueli, A.; usage: A. Pnueli) Temporal logic in specification, c1989: CIP t.p. (A. Pnueli) t.p. verso (Amir Pnueli; Dept. of Computer Sci., Weizmann Inst. of Sci., Rehovot, Israel) COMPOS '97 (1997 : Malente, Germany). Compositionality,c1998: CIP t.p. (Amir Pnueli) data sheet (b. 04/22/41) Wikipedia WWW site, Nov. 4, 2009 (Amir Pnueli; b. Apr. 22, 1941, Nahalal; d. Nov. 2, 2009, New York; Israeli computer scientist) |
| Invalid LCCN | n 87106845 |
 |  |  |
View this record in: MARCXML | LC Authorities & Vocabularies | VIAF (Virtual International Authority File)
