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: 328
Pages: 328
Type: BOOK - Published: 1998 - Publisher:
This book provides a synthesis of the theory of programming. It aims to use mathematical theory of programming to provide a similar basis for specification, des
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
