Sampaio / Ribeiro | Unifying Theories of Programming | Buch | 978-3-030-31037-0 | sack.de

Buch, Englisch, Band 11885, 217 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 359 g

Reihe: Lecture Notes in Computer Science

Sampaio / Ribeiro

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
1. Auflage 2019
ISBN: 978-3-030-31037-0
Verlag: Springer International Publishing

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

Buch, Englisch, Band 11885, 217 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 359 g

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-030-31037-0
Verlag: Springer International Publishing

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.

Sampaio / Ribeiro Unifying Theories of Programming jetzt bestellen!

Zielgruppe

Professional/practitioner

Autoren/Hrsg.

Sampaio, Augusto
Ribeiro, Pedro

Fachgebiete

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.