Time for Verification: Essays in Memory of Amir Pnueli - Lecture Notes in Computer Science 6200 (Paperback)
  • Time for Verification: Essays in Memory of Amir Pnueli - Lecture Notes in Computer Science 6200 (Paperback)
zoom

Time for Verification: Essays in Memory of Amir Pnueli - Lecture Notes in Computer Science 6200 (Paperback)

(editor), (editor)
£81.00
Paperback 413 Pages / Published: 30/06/2010
  • Not available

This product is currently unavailable.

  • This item has been added to your basket
This volume is dedicated to the memory of Amir Pnueli: a great scientist, a colleague and a friend. Amir touched our lives in several ways. As a scientist, Amir had the exceptionally deep insight that can open a new researcharea with a cleverly crafted paper. Having published over 250 papers, and won the Turing Award, the highest awarded recognition in computer science, Amir is no doubt one of the most brilliant and visionary computer scientists of all times. As a colleague and research collaborator, Amir steered the entire ?eld of research in unforeseen, original, directions. As a mentor, Amir was admired by the students that were lucky to be supervised by him. Amir will always be remembered as a colleague and a friend, who, with his kind manners and great vision has in- enced and will continue to in?uence present and future generations of computer scientists. April 2010 Zohar Manna Doron Peled Table of Contents Modal and Temporal Argumentation Networks ...1 Howard Barringer and Dov M. Gabbay Knowledge Based Scheduling of Distributed Systems ...26 Saddek Bensalem, Doron Peled, and Joseph Sifakis Quantitative Simulation Games...42 ? Pavol Cern' y, Thomas A. Henzinger, and Arjun Radhakrishna The Localization Reduction and Counterexample-Guided Abstraction Re?nement...61 Edmund M. Clarke, Robert P. Kurshan, and Helmut Veith A Scalable Segmented Decision Tree Abstract Domain...72 Patrick Cousot, Radhia Cousot, and Laurent Mauborgne Towards Component Based Design of Hybrid Systems: Safety and Stability...

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783642137532
Number of pages: 413
Weight: 612 g
Dimensions: 234 x 155 x 23 mm
Edition: 2010 ed.

You may also be interested in...

Python For Dummies
Added to basket
£22.99
Paperback
JavaScript Pocket Reference
Added to basket
SQL For Dummies
Added to basket
£21.99
Paperback
C++ For Dummies
Added to basket
£21.99
Paperback
How to Build a Billion Dollar App
Added to basket
The Pragmatic Programmer
Added to basket
Automate The Boring Stuff With Python
Added to basket
SQL in Easy Steps
Added to basket
£10.99
Paperback
Building Android Apps in Easy Steps
Added to basket
SQL in 10 Minutes, Sams Teach Yourself
Added to basket
The Agile Culture
Added to basket
Python for Data Science For Dummies
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.