Qin | Unifying Theories of Programming | E-Book | sack.de
E-Book

E-Book, Englisch, Band 6445, 310 Seiten, eBook

Reihe: Lecture Notes in Computer Science

Qin Unifying Theories of Programming

Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings
Erscheinungsjahr 2010
ISBN: 978-3-642-16690-7
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings

E-Book, Englisch, Band 6445, 310 Seiten, eBook

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-642-16690-7
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Qin Unifying Theories of Programming jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Qin, Shengchao

Weitere Infos & Material

Specification Coverage for Testing in Circus.- UTP and Sustainability.- A Probabilistic BPEL-Like Language.- On Modelling User Observations in the UTP.- Unifying Theories of Confidentiality.- Saoithín: A Theorem Prover for UTP.- A Formal Approach to Analyzing Interference Problems in Aspect-Oriented Designs.- Programmable Verifiers in Imperative Programming.- Unifying Theories in Isabelle/HOL.- Unifying Recursion in Partial, Total and General Correctness.- Halting Still Standing – Programs versus Specifications.- Promoting Models.- Probabilistic Choice, Reversibility, Loops, and Miracles.- Towards a Pomset Semantics for a Shared-Variable Parallel Language.- Generating Denotational Semantics from Algebraic Semantics for Event-Driven System-Level Language.

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.