Constitutes the post-proceedings of the Second International Symposium on Unifying Theories of Programming, UTP 2008, held at Trinity College, Dublin, Ireland, in September 2008. These papers reaffirm the significance of the ongoing UTP project and encourage efforts to advance it by providing a focus for the sharing of results.
| Author: Andrew Butterfield |
| Publisher: Springer |
| Publication Date: Jul 30, 2010 |
| Number of Pages: 279 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3642145205 |
| ISBN-13: 9783642145209 |
