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 / edited by Pedro Ribeiro, Augusto Sampaio.

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...

Full description

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Ribeiro, Pedro (Editor), Sampaio, Augusto (Editor)
Format:	eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2019.
Edition:	1st ed. 2019.
Series:	Theoretical Computer Science and General Issues ; 11885 Springer eBook Collection.
Subjects:	Computer logic. Programming languages (Electronic computers). Software engineering. Computer science—Mathematics. Computer organization. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

‌

Click to view e-book

Online

Holdings details from Online
Call Number:	E-Book
Status:	Available

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 / edited by Pedro Ribeiro, Augusto Sampaio.

‌

Online

Similar Items