Dunne / Stoddart | Unifying Theories of Programming | E-Book | sack.de
E-Book

E-Book, Englisch, 264 Seiten, eBook

Reihe: Theoretical Computer Science and General Issues

Dunne / Stoddart Unifying Theories of Programming


First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers

E-Book, Englisch, 264 Seiten, eBook

Reihe: Theoretical Computer Science and General Issues

ISBN: 978-3-540-34752-1
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Dunne / Stoddart Unifying Theories of Programming jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Dunne, Steve
Stoddart, Bill

Weitere Infos & Material

Retrospective and Prospective for Unifying Theories of Programming.- Object-Orientation in the UTP.- CSP Is a Retract of CCS.- A Design-Based Model of Reversible Computation.- An Operational Semantics in UTP for a Language of Reactive Designs (Abstract).- Constructing Property-Oriented Models for Verification.- A Relational Investigation of UTP Designs and Prescriptions.- Unifying Theories in ProofPower-Z.- Termination of Real-Time Programs: Definitely, Definitely Not, or Maybe.- Hierarchical Organisation of Predicate-Semantic Models.- Unifying Probability.- Pointers and Records in the Unifying Theories of Programming.- Mechanising a Unifying Theory.- Modal Design Algebra.

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.