Time For Verification: Essays In Memory Of Amir Pnueli
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | June 30, 2010 |
| Editors | Doron A. Peled |
| Zohar Manna | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2274295 |
About Time For Verification: Essays In Memory Of Amir Pnueli
This volume is dedicated to the memory of the 1996 Turing Award winner Amir Pnueli, who passed away in November 2009. The Festschrift contains 15 scientific articles written by leading scientists who were close to Amir Pnueli either as former students, colleagues or friends. . . .