Central Library

Normal view MARC view ISBD view

Time for Verification [electronic resource] : Essays in Memory of Amir Pnueli / edited by Zohar Manna, Doron A. Peled.

Contributor(s): Manna, Zohar [editor.] | Peled, Doron A [editor.] | SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Theoretical Computer Science and General Issues: 6200Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Edition: 1st ed. 2010.Description: VIII, 413 p. 113 illus. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783642137549.Subject(s): Computer programming | Computer science | Compilers (Computer programs) | Machine theory | Programming Techniques | Theory of Computation | Compilers and Interpreters | Formal Languages and Automata Theory | Computer Science Logic and Foundations of ProgrammingAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 005.11 Online resources: Click here to access online
Contents:
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.
In: Springer Nature eBook
    average rating: 0.0 (0 votes)
No physical items for this record

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.

There are no comments for this item.

Log in to your account to post a comment.