Time for Verification Essays in Memory of Amir Pnueli 1st Edition
-79%
Availability: In Stock

Time for Verification Essays in Memory of Amir Pnueli 1st Edition

SKU: 9783642137549

Original price was: $119.00.Current price is: $24.99.

Access Time for Verification Essays in Memory of Amir Pnueli 1st Edition Now. Discount up to 90%

Textbook Find promise:

Before checkout, confirm the ISBN, author, publisher, and edition match your course requirements. Secure payment and support are available at support@textbookfind.com.

Additional information

Full Title

Time for Verification Essays in Memory of Amir Pnueli 1st Edition
Author(s)

Z. Manna, D. A. Peled
Edition

1st Edition
ISBN

9783642137549, 9783642137532
Publisher

Springer
Format

PDF and EPUB

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.