Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, ... Science and General Issues, Band 11885) - Softcover

 
9783030310370: Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, ... Science and General Issues, Band 11885)
Softcover
ISBN 10: 303031037X ISBN 13: 9783030310370
Verlag: Springer, 2019

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2019
Sprache
Englisch
ISBN 10 
303031037X
ISBN 13 
9783030310370
Einband
Taschenbuch
Auflage
1
Anzahl der Seiten
232
Herausgeber
Ribeiro Pedro, Sampaio Augusto
Kontakt zum Hersteller
GPSR Kontakt
ProductSafety@springernature.com

Tiergartenstr. 17
Heidelberg
69121
Deutschland

Weitere beliebte Ausgaben desselben Titels

9783030310394: 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

Vorgestellte Ausgabe

ISBN 10:  3030310396 ISBN 13:  9783030310394
Verlag: Springer, 2019
Softcover