Unifying Theories of Programming - Anja's

Cover: 9783030310370 | Unifying Theories of Programming | Augusto Sampaio (u. a.) | Buch

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

53,49 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

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
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
Reihe:	Theoretical Computer Science and General Issues
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
Ausstattung / Beilage:	Paperback
Einband:	Kartoniert / Broschiert
Redaktion:	Sampaio, Augusto Ribeiro, Pedro
Herausgeber:	Pedro Ribeiro/Augusto Sampaio
Auflage:	1st ed. 2019
Hersteller:	Springer International Publishing Springer International Publishing AG Theoretical Computer Science and General Issues
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
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
Reihe:	Theoretical Computer Science and General Issues
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
Ausstattung / Beilage:	Paperback
Einband:	Kartoniert / Broschiert
Redaktion:	Sampaio, Augusto Ribeiro, Pedro
Herausgeber:	Pedro Ribeiro/Augusto Sampaio
Auflage:	1st ed. 2019
Hersteller:	Springer International Publishing Springer International Publishing AG Theoretical Computer Science and General Issues
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

Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch

Cover: 9783642425813 | Coloured Petri Nets | Modelling and Validation of Concurrent Systems

Coloured Petri Nets

Modelling and Validation of Concurrent Systems

EAN: 9783642425813

Sprache: Englisch

Von/Mit: Lars M. Kristensen (u. a.)

64,19 €*

Aktuell nicht verfügbar

Taschenbuch

Cover: 9783528640903 | Elemente der angewandten Elektronik | Erwin Böhmer | Taschenbuch

Elemente der angewandten Elektronik

Kompendium für Ausbildung und Beruf

EAN: 9783528640903

Sprache: Deutsch

Von/Mit: Erwin Böhmer

44,99 €*

Aktuell nicht verfügbar

Taschenbuch

Cover: 9781441921918 | Measure Theory and Probability Theory | Soumendra N. Lahiri (u. a.)

Measure Theory and Probability Theory

EAN: 9781441921918

Sprache: Englisch

Von/Mit: Soumendra N. Lahiri (u. a.)

96,29 €*

Aktuell nicht verfügbar

Taschenbuch

Cover: 9780470277942 | LINQ For Dummies | Mueller | Taschenbuch | Paperback | 384 S. | 2008

Linq for Dummies

EAN: 9780470277942

Von/Mit: John Paul Mueller

31,00 €*

Aktuell nicht verfügbar

Taschenbuch

Cover: 9781788394925 | AWS Automation Cookbook | Nikit Swaraj | Taschenbuch | Paperback

AWS Automation Cookbook

EAN: 9781788394925

Sprache: Englisch

Von/Mit: Nikit Swaraj

50,70 €*

Aktuell nicht verfügbar

Taschenbuch

Cover: 9781484237113 | Design, Launch, and Scale IoT Services | A Practical Business Approach

Design, Launch, and Scale IoT Services

A Practical Business Approach

EAN: 9781484237113

Sprache: Englisch

Von/Mit: Barry Haughian

35,30 €*

Aktuell nicht verfügbar

Buch

Cover: 9789811307362 | Polar Codes | A Non-Trivial Approach to Channel Coding | Orhan Gazi

A Non-Trivial Approach to Channel Coding

EAN: 9789811307362

Sprache: Englisch

Von/Mit: Orhan Gazi

139,09 €*

Aktuell nicht verfügbar

Taschenbuch

Cover: 9781587145131 | Data Analytics for IT Networks | Developing Innovative Use Cases

Data Analytics for IT Networks

Developing Innovative Use Cases

EAN: 9781587145131

Sprache: Englisch

Von/Mit: John Garrett

64,15 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9781788624145 | Hands-On Ensemble Learning with R | Prabhanjan Tattar | Taschenbuch

Hands-On Ensemble Learning with R

EAN: 9781788624145

Sprache: Englisch

Von/Mit: Prabhanjan Tattar

55,20 €*

Aktuell nicht verfügbar

Taschenbuch

Cover: 9798215235768 | AWS Certified Developer Associate Step by Step Certification Study...

AWS Certified Developer Associate Step by Step Certification Study Guide, to Pass the Developers Exam With Confidence

EAN: 9798215235768

Sprache: Englisch

Von/Mit: Jamie Murphy

32,00 €*

Aktuell nicht verfügbar