Unifying Theories of Programming
Subtitle: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, ...
Publisher: Springer
Published: Sep 12, 2019
Format: paperback
Number of pages: 231
ISBN-13: 9783030310370
Notes: Source title: Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, ... (Lecture Notes in Computer Science (11885))