List of Books in Keyword #Hoare

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

Published on: 2019

Beginner Unordered English

This volume contains papers presented at UTP 2019, the 7th International Symposium on Unifying Theories of Programming, held in Porto, …

Programming Theories Symposium Hoare Porto

Page 1 of 1