Jetzt 20% Rabatt auf alle English Books. Jetzt in über 4 Millionen Büchern stöbern und profitieren!
Willkommen, schön sind Sie da!
Logo Ex Libris

Unifying Theories of Programming

  • Kartonierter Einband
  • 232 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This volume contains papers presented at UTP 2019, the 7th International Symposium on Unifying Theories of Programming, held in Po... Weiterlesen
20%
84.00 CHF 67.20
Sie sparen CHF 16.80
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

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.



Written by well-known experts

High quality selected papers

Honorary volume dedicated to Tony Hoare on the Occasion of His 85th Birthday



Inhalt

Unification Approaches.- Hybrid Models.- Concurrency.

Produktinformationen

Titel: Unifying Theories of Programming
Untertitel: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
Editor:
EAN: 9783030310370
ISBN: 303031037X
Format: Kartonierter Einband
Herausgeber: Springer International Publishing
Anzahl Seiten: 232
Gewicht: 359g
Größe: H235mm x B155mm x T12mm
Jahr: 2019
Untertitel: Englisch
Auflage: 1st ed. 2019

Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"