Books of Andrew Butterfield (eds.)

Unifying Theories of Programming: Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers
Published on: 2010
Beginner Unordered English

This book constitutes the thoroughly refereed post-proceedings of the Second International Symposium on Unifying Theories of Programming, UTP 2008, held …

Formal methods Theoretical computer science Programming languages Software engineering Mathematical models

Page 1 of 1