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
Pedro Ribeiro, Augusto SampaioThis 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.
درجه (قاطیغوری(:
کال:
2019
خپرونه:
1st ed. 2019
خپرندویه اداره:
Springer International Publishing
ژبه:
english
ISBN 10:
3030310388
ISBN 13:
9783030310387
لړ (سلسله):
Lecture Notes in Computer Science 11885
فایل:
PDF, 7.51 MB
IPFS:
,
english, 2019
د دې کتاب ډاونلوډ کول د کاپي حق لرونکي د شکایت له امله ممکن نه دئ
Beware of he who would deny you access to information, for in his heart he dreams himself your master
File converter
د لټون نورې نبیجې
More benefits 
