Willkommen, schön sind Sie da!
Logo Ex Libris

Time for Verification

  • E-Book (pdf)
  • 413 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This volume is dedicated to the memory of the 1996 Turing Award winner Amir Pnueli. It contains articles written by leading scie... Weiterlesen
CHF 120.90
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

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.



Inhalt

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.

Produktinformationen

Titel: Time for Verification
Untertitel: Essays in Memory of Amir Pnueli
Editor:
EAN: 9783642137549
Format: E-Book (pdf)
Hersteller: Springer Berlin Heidelberg
Genre: IT & Internet
Veröffentlichung: 30.06.2010
Digitaler Kopierschutz: Wasserzeichen
Dateigrösse: 5.86 MB
Anzahl Seiten: 413

Weitere Bände aus der Buchreihe "Theoretical Computer Science and General Issues"