Time for Verification
Essays in Memory of Amir Pnueli| By: | Z. Manna; D. A. Peled |
| Publisher: | Springer Nature |
| Print ISBN: | 9783642137532 |
| eText ISBN: | 9783642137549 |
| Edition: | 1 |
| Copyright: | 2010 |
| Format: | Page Fidelity |
Lifetime - $148.75
eBook Features
Instant Access
Purchase and read your book immediately
Read Offline
Access your eTextbook anytime and anywhere
Study Tools
Built-in study tools like highlights and more
Read Aloud
Listen and follow along as Bookshelf reads to you
Details
Table of Contents
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.