Time for Verification: Essays in Memory of Amir Pnueli - Theoretical Computer Science and General Issues - Zohar Manna - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642137532 - June 30, 2010
In case cover and title do not match, the title is correct

Zohar Manna
Time for Verification: Essays in Memory of Amir Pnueli - Theoretical Computer Science and General Issues 2010 edition

Get an email once the item is available
Do you have a profile? Log in
Get notified about new Zohar Manna releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

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.

421 pages, 113 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released June 30, 2010
ISBN13 9783642137532
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 413
Dimensions 155 × 234 × 23 mm   ·   612 g
Editor Manna, Zohar
Editor Peled, Doron A.

More by Zohar Manna

Show all

More from the same publisher

See all of Zohar Manna ( e.g. Paperback Book and Hardcover Book )