This book constitutes the thoroughly refereed post-proceedings
of the First International Symposium on Unifying Theories of
Programming, UTP 2006, held at Walworth Castle, County Durham, UK,
in February 2006. The book presents 14 revised full papers. Based
on the pioneering work on unifying theories of programming by Tony
Haare and Jifeng He, UTP 2006 focused on the most significant
results and raised awareness of the benefits of unifying
theoretical frameworks.
General
Imprint: |
Springer-Verlag
|
Country of origin: |
Germany |
Series: |
Lecture Notes in Computer Science, 4010 |
Release date: |
June 2006 |
First published: |
2006 |
Editors: |
Steve Dunne
• Bill Stoddart
|
Dimensions: |
235 x 155 x 14mm (L x W x T) |
Format: |
Paperback
|
Pages: |
264 |
Edition: |
2006 ed. |
ISBN-13: |
978-3-540-34750-7 |
Categories: |
Books >
Computing & IT >
Computer programming >
General
|
LSN: |
3-540-34750-X |
Barcode: |
9783540347507 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!