Related Books
Language: en
Pages: 286
Pages: 286
Type: BOOK - Published: 2010-07-30 - Publisher: Springer
This book constitutes the thoroughly refereed post-proceedings of the Second International Symposium on Unifying Theories of Programming, UTP 2008, held at Trin
Language: en
Pages: 317
Pages: 317
Type: BOOK - Published: 2010-10-21 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the Third International Symposium on Unifying Theories of Programming, UTP 2010, held in Shanghai, China, in N
Language: en
Pages: 265
Pages: 265
Type: BOOK - Published: 2006-06-22 - Publisher: Springer
This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Unifying Theories of Programming, UTP 2006, held at Walwo
Language: en
Pages: 226
Pages: 226
Type: BOOK - Published: 2017-01-10 - Publisher: Springer
This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in
Language: en
Pages: 155
Pages: 155
Type: BOOK - Published: 2015-01-05 - Publisher: Springer
This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, i
