Related Books

Unifying Theories of Programming and Formal Engineering Methods
Language: en
Pages: 292
Authors: Zhiming Liu
Categories: Computers
Type: BOOK - Published: 2013-08-21 - Publisher: Springer

DOWNLOAD EBOOK

This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories of Programming and Formal
Unifying Theories of Programming
Language: en
Pages: 265
Authors: Steve Dunne
Categories: Computers
Type: BOOK - Published: 2006-06-22 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Unifying Theories of Programming, UTP 2006, held at Walwo
Unifying Theories of Programming
Language: en
Pages: 224
Authors: Pedro Ribeiro
Categories: Computers
Type: BOOK - Published: 2019-09-23 - Publisher: Springer Nature

DOWNLOAD EBOOK

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 O
Unifying Theories of Programming
Language: en
Pages: 226
Authors: Jonathan P. Bowen
Categories: Computers
Type: BOOK - Published: 2017-01-10 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in
Unifying Theories of Programming
Language: en
Pages: 317
Authors: Shengchao Qin
Categories: Computers
Type: BOOK - Published: 2010-10-21 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Third International Symposium on Unifying Theories of Programming, UTP 2010, held in Shanghai, China, in N