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. The topics covered span...
Other Authors: | Manna, Zohar., Peled, Doron A., 1962-, SpringerLink (Online service) |
---|---|
Format: | eBook |
Language: | English |
Published: |
Berlin ; New York :
Springer,
©2010.
Berlin ; New York : [2010] |
Physical Description: |
1 online resource (x, 399 pages) : illustrations, color portraits. |
Series: |
Lecture notes in computer science ;
6200. LNCS sublibrary. Theoretical computer science and general issues. |
Subjects: |
CMU Electronic Access
Electronic Resource Click HereLocation | Call Number: | Status |
---|---|---|
CMU Electronic Access | Available |