Manna / Peled | Time for Verification | E-Book | sack.de
E-Book

E-Book, Englisch, 413 Seiten, eBook

Reihe: Theoretical Computer Science and General Issues

Manna / Peled Time for Verification

Essays in Memory of Amir Pnueli
Erscheinungsjahr 2010
ISBN: 978-3-642-13754-9
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Essays in Memory of Amir Pnueli

E-Book, Englisch, 413 Seiten, eBook

Reihe: Theoretical Computer Science and General Issues

ISBN: 978-3-642-13754-9
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Manna / Peled Time for Verification jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Manna, Zohar
Peled, Doron A.

Weitere Infos & Material

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.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.