Time for Verification Essays in Memory of Amir Pnueli |
|
Editor:
| Manna, Zohar Peled, Doron A. |
Series title: | Lecture Notes in Computer Science / Theoretical Computer Science and General Issues Ser. |
ISBN: | 978-3-642-13753-2 |
Publication Date: | Jun 2010 |
Publisher: | Springer
|
Book Format: | Paperback |
List Price: | AUD $203.95 |
Book Description:
|
This volume is dedicated to the memory of the 1996 Turing Award winner Amir Pnueli. It contains articles written by leading scientists that span the breadth of Pnueli's scientific work, with a focus on the development and the application of formal methods.
This volume is dedicated to the memory of the 1996 Turing Award winner Amir Pnueli. It contains articles written by leading scientists that span the breadth of Pnueli's scientific work, with a focus on the development and the application of formal methods.