Jones / Roscoe / Wood | Reflections on the Work of C.A.R. Hoare | E-Book | www.sack.de
E-Book

E-Book, Englisch, 430 Seiten, eBook

Jones / Roscoe / Wood Reflections on the Work of C.A.R. Hoare


1. Auflage 2010
ISBN: 978-1-84882-912-1
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, 430 Seiten, eBook

ISBN: 978-1-84882-912-1
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Written in honor of Sir Tony Hoare's 75th Birthday, this book provides a discussion of the influence of Hoare's work on current research from an international selection of expert contributors. Includes a scientific biography, listing his most influential work.

Jones / Roscoe / Wood Reflections on the Work of C.A.R. Hoare jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Jones, Cliff B.
Roscoe, A.W.
Wood, Kenneth R.

Weitere Infos & Material

Insight, Inspiration and Collaboration.- From CSP to Game Semantics.- On Mereologies in Computing Science.- Roles, Stacks, Histories: A Triple for Hoare.- Forward with Hoare.- Probabilistic Programming with Coordination.- The Operational Principle and Problem Frames.- The Role of Auxiliary Variables in the Formal Development of Concurrent Programs.- Avoid a Void: The Eradication of Null Dereferencing.- Unfolding CSP.- Quicksort: Combining Concurrency, Recursion, and Mutable Data Structures.- The Thousand-and-One Cryptographers.- On Process-Algebraic Extensions of Metric Temporal Logic.- Fun with Type Functions.- On CSP and the Algebraic Theory of Effects.- CSP is Expressive Enough for ?.- The Tokeneer Experiments.

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.