0
Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Programming languages

Buy Now

Time for Verification - Essays in Memory of Amir Pnueli (Paperback, 2010 ed.) Loot Price: R1,787
Discovery Miles 17 870
  • This item is a special order that could take a long time to obtain.

Time for Verification - Essays in Memory of Amir Pnueli (Paperback, 2010 ed.): Zohar Manna, Doron A. Peled
Time for Verification - Essays in Memory of Amir Pnueli (Paperback, 2010 ed.): Zohar Manna, Doron A. Peled

Share your images

Time for Verification - Essays in Memory of Amir Pnueli (Paperback, 2010 ed.)

Zohar Manna, Doron A. Peled

Series: Lecture Notes in Computer Science, 6200

 (sign in to rate)
Loot Price R1,787 Discovery Miles 17 870 | Repayment Terms: R166 pm x 12*

Bookmark and Share

Supplier out of stock. If you add this item to your wish list we will let you know when it becomes available.

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...

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Lecture Notes in Computer Science, 6200
Release date: June 2010
First published: 2010
Editors: Zohar Manna • Doron A. Peled
Dimensions: 234 x 155 x 23mm (L x W x T)
Format: Paperback
Pages: 413
Edition: 2010 ed.
ISBN-13: 978-3-642-13753-2
Barcode: 9783642137532
Categories: Books > Computing & IT > Computer programming > Programming languages
Books > Computing & IT > Computer programming > Programming languages > General
Promotions
Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Computing & IT > Applications of computing
Books > Computing & IT > Applications of computing > General
Books > Computing & IT > Social & legal aspects of computing > Human-computer interaction
LSN: 3-642-13753-9

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

Loyalty partners