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,694
Discovery Miles 16 940
You Save: R113 (6%)
  • 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: Theoretical Computer Science and General Issues, 6200

 (sign in to rate)
List price R1,807 Loot Price R1,694 Discovery Miles 16 940 | Repayment Terms: R158 pm x 12* You Save R113 (6%)

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: Theoretical Computer Science and General Issues, 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
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
Barcode: 9783642137532

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