Zur Startseite gehen
0,00 €*
Cover: 9783030310370 | Unifying Theories of Programming | Augusto Sampaio (u. a.) | Buch
Dekorationsartikel gehören nicht zum Leistungsumfang.
Unifying Theories of Programming
7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal,...
Taschenbuch von Augusto Sampaio (u. a.)
Sprache: Englisch

52,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 2-4 Werktage

Kategorien:
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.
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.
Zusammenfassung

Written by well-known experts

High quality selected papers

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

Inhaltsverzeichnis

Unification Approaches.- Hybrid Models.- Concurrency.

Details
Erscheinungsjahr: 2019
Genre: Informatik, Mathematik, Medizin, Naturwissenschaften, Technik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Titelzusatz: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
Inhalt: xiv
217 S.
902 s/w Illustr.
30 farbige Illustr.
217 p. 932 illus.
30 illus. in color.
ISBN-13: 9783030310370
ISBN-10: 303031037X
Sprache: Englisch
Einband: Kartoniert / Broschiert
Autor: Ribeiro, Pedro
Sampaio, Augusto
Redaktion: Sampaio, Augusto
Ribeiro, Pedro
Herausgeber: Pedro Ribeiro/Augusto Sampaio
Auflage: 1st edition 2019
Hersteller: Springer Nature Switzerland
Springer International Publishing
Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße: 235 x 155 x 13 mm
Von/Mit: Augusto Sampaio (u. a.)
Erscheinungsdatum: 12.09.2019
Gewicht: 0,359 kg
Artikel-ID: 117224948
Zusammenfassung

Written by well-known experts

High quality selected papers

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

Inhaltsverzeichnis

Unification Approaches.- Hybrid Models.- Concurrency.

Details
Erscheinungsjahr: 2019
Genre: Informatik, Mathematik, Medizin, Naturwissenschaften, Technik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Titelzusatz: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
Inhalt: xiv
217 S.
902 s/w Illustr.
30 farbige Illustr.
217 p. 932 illus.
30 illus. in color.
ISBN-13: 9783030310370
ISBN-10: 303031037X
Sprache: Englisch
Einband: Kartoniert / Broschiert
Autor: Ribeiro, Pedro
Sampaio, Augusto
Redaktion: Sampaio, Augusto
Ribeiro, Pedro
Herausgeber: Pedro Ribeiro/Augusto Sampaio
Auflage: 1st edition 2019
Hersteller: Springer Nature Switzerland
Springer International Publishing
Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße: 235 x 155 x 13 mm
Von/Mit: Augusto Sampaio (u. a.)
Erscheinungsdatum: 12.09.2019
Gewicht: 0,359 kg
Artikel-ID: 117224948
Sicherheitshinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch
Cover: 9783319017112 | Level Set and PDE Based Reconstruction Methods in Imaging | Buch | vii
Level Set and PDE Based Reconstruction Methods in Imaging
Cetraro, Italy 2008, Editors: Martin Burger, Stanley Osher
EAN: 9783319017112
Sprache: Englisch
Von/Mit: Martin Burger (u. a.)

43,75 €*

Lieferzeit 2-4 Werktage

Taschenbuch
Cover: 9780595126101 | 77 Sure-Fire Ways to Kill a Software Project | Daniel D. Ferry (u. a.)
77 Sure-Fire Ways to Kill a Software Project
Destructive Tactics That Cause Budget Overruns, Late Deliveries, and Massive Personnel Turnover
EAN: 9780595126101
Sprache: Englisch
Von/Mit: Daniel D. Ferry (u. a.)

13,55 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783540122562 | Algebraische Spezifikation | Eine Einführung | H. A. Klaeren | Buch
Algebraische Spezifikation
Eine Einführung
EAN: 9783540122562
Sprache: Deutsch
Von/Mit: H. A. Klaeren

54,99 €*

Lieferzeit 2-4 Werktage

Taschenbuch
Cover: 9781441919014 | Parsing Techniques | A Practical Guide | Ceriel J. H. Jacobs (u. a.)
Parsing Techniques
A Practical Guide
EAN: 9781441919014
Sprache: Englisch
Von/Mit: Ceriel J. H. Jacobs (u. a.)

212,95 €*

Lieferzeit 2-4 Werktage

Taschenbuch
Main Memory Database Systems
EAN: 9781680833249
Sprache: Englisch
Von/Mit: Frans Faerber (u. a.)

117,95 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9781447173472 | Theory of Random Sets | Ilya Molchanov | Buch | xvi | Englisch | 2017
Theory of Random Sets
EAN: 9781447173472
Sprache: Englisch
Von/Mit: Ilya Molchanov

160,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9786139578535 | Gender Pay Gap Dissected | Radu-Ioan Vija (u. a.) | Taschenbuch | 2018
Gender Pay Gap Dissected
Quantitative Results on Business Performance
EAN: 9786139578535
Sprache: Englisch
Von/Mit: Radu-Ioan Vija (u. a.)

21,20 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9783701104680 | Artificial Intelligence und Digital Recruiting im Human Resource...
Artificial Intelligence und Digital Recruiting im Human Resource Management
EAN: 9783701104680
Sprache: Deutsch
Von/Mit: Silvia Ettl-Huber (u. a.)

18,00 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781998038312 | Twitch Streaming | Pedro Brown | Taschenbuch | Paperback | Englisch
Twitch Streaming
Basic Brand Growth and Setup Tricks (How to Make Money Online Right Now From Home Using Twitch)
EAN: 9781998038312
Sprache: Englisch
Von/Mit: Pedro Brown

22,60 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9780412552700 | Kernel Smoothing | M. P. Wand (u. a.) | Buch | XII | Englisch | 1994
Kernel Smoothing
EAN: 9780412552700
Sprache: Englisch
Von/Mit: M. P. Wand (u. a.)

246,95 €*

Lieferzeit 1-2 Wochen

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...