Sofort lieferbar (Download)
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.
Inhaltsverzeichnis
Modal and Temporal Argumentation Networks. - Knowledge Based Scheduling of Distributed Systems. - Quantitative Simulation Games. - The Localization Reduction and Counterexample-Guided Abstraction Refinement. - A Scalable Segmented Decision Tree Abstract Domain. - Towards Component Based Design of Hybrid Systems: Safety and Stability. - Mildly Context-Sensitive Languages via Buffer Augmented Pregroup Grammars. - Inference Rules for Proving the Equivalence of Recursive Procedures. - Some Thoughts on the Semantics of Biocharts. - Unraveling a Card Trick. - An Automata-Theoretic Approach to Infinite-State Systems. - On the Krohn-Rhodes Cascaded Decomposition Theorem. - Temporal Verification of Reactive Systems: Response. - The Arrow of Time through the Lens of Computing. - What Is in a Step: New Perspectives on a Classical Question.
Produktdetails
Erscheinungsdatum
30. Juni 2010
Sprache
englisch
Seitenanzahl
413
Dateigröße
5,86 MB
Reihe
Lecture Notes in Computer Science
Herausgegeben von
Zohar Manna, Doron A. Peled
Verlag/Hersteller
Kopierschutz
mit Wasserzeichen versehen
Produktart
EBOOK
Dateiformat
PDF
ISBN
9783642137549
Entdecken Sie mehr
Bewertungen
0 Bewertungen
Es wurden noch keine Bewertungen abgegeben. Schreiben Sie die erste Bewertung zu "Time for Verification" und helfen Sie damit anderen bei der Kaufentscheidung.