Menu
Află starea comenzii
Contactați-ne
Carte Unifying Theories of Programming Pedro 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

Autor: Pedro Ribeiro, Augusto Sampaio
Limbă: engleză
Legare: Carte broșată
Editura: Springer Nature Switzerland AG
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
276.48 lei
This volume contains papers presented at UTP 2019, the 7th International Symposium on Unifying Theor...

Informații despre carte

Autor
Pedro Ribeiro, Augusto Sampaio
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2019
Pagini
217
EAN
9783030310370
Enbook ID
24519952
Editura
Springer Nature Switzerland AG
Greutate
454
Dimensiuni
155 x 235 x 13

Descriere completă

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.

S-ar putea să te intereseze

Complete Messianic Aleph Tav Scriptures Modern-Hebrew Large Print Red Letter Edition Study Bible (Updated 2nd Edition)

William H. Sanford
843.58 lei

The World Almanac 2025 Word Search

Diego Jourdan Pereira
43.64 lei

The Crown

Emily Kapff
31.44 lei

Maze

Tony Bertauski
98.27 lei

Spirit Within Club 2

Sahar Sabati
74.28 lei

Lucky Luke: The Complete Collection Vol. 2

Goscinny
216.81 lei

Road Map for Revolutionaries

Elisa Camahort Page
73.27 lei

bronx park east: book

Mr John Pasquale
45.55 lei

RSPB Spotlight Swifts and Swallows

Mike Unwin
74.88 lei

The Life of Saint Anthony of Padua

Fr Ubaldus De Rieti Osf
65.91 lei

Nano and Microelectromechanical Systems (NEMS and MEMS) and Molecular Machines: Volume 741

David A. LaVanArturo A. AyónThomas E. BuchheitMarc J. Madou
134.15 lei

The Next Phase of Life

Charmaine R. Parker
92.12 lei

Aspects of Language Contact

Dik Bakker
848.82 lei

Expanded Universe

Robert A. Heinlein
37.59 lei

Light on Snow

Anita Shreve
126.59 lei

Special Trains of Hitler, Goering et al

James a Yannes
193.53 lei

My Diary in a Chinese Farm. [With Illustrations.]

Alicia E Neva Bewicke
107.04 lei

Theatre A L'Usage Des Jeunes Personnes V4 (1780)

Stephanie Felicite Genlis
163.49 lei

Clienții care au cumpărat această carte au mai cumpărat și

Über die Morphologie und die Verwandtschaftsverhältnisse der wirbellosen Tiere

Rudolf Leuckart
144.03 lei

MAS ALLA DE LA POSMODERNIDAD

GOMEZ MARTINEZ
68.23 lei

Die Fabrikation von Sulfat und Salzsäure

Theodor Meyer
110.57 lei

Gestion Et Couverture Du Risque de Cr dit Bancaire

Mohamed Sadok Gassouma
477.78 lei