Ribeiro / Sampaio | Unifying Theories of Programming | E-Book | sack.de
E-Book

E-Book, Englisch, 217 Seiten

Reihe: Theoretical Computer Science and General Issues

Ribeiro / Sampaio Unifying Theories of Programming

7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
Erscheinungsjahr 2019
ISBN: 978-3-030-31038-7
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark

7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings

E-Book, Englisch, 217 Seiten

Reihe: Theoretical Computer Science and General Issues

ISBN: 978-3-030-31038-7
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark



This volume contains papers presented at UTP 2019, the 7th International Symposium on Unifying Theories of Programming, held in Porto, Portugal, on the 8th of October 2019. This edition of the UTP symposium is in honor of Sir Tony Hoare, on the occasion of his 85th birthday. The papers contained in this volume were invited, and friendly refereed, original contributions sought from the UTP community. One of the papers is from the distinguished invited speaker Tony Hoare himself. Nine other additional papers compose this volume, covering several aspects of Unifying Theories of Programming.

Ribeiro / Sampaio Unifying Theories of Programming jetzt bestellen!

Zielgruppe


Professional/practitioner

Weitere Infos & Material


Unification Approaches.- Hybrid Models.- Concurrency.



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.