Tell your friends about this item:
Unifying Theories of Programming: Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers - Lecture Notes in Computer Science Andrew Butterfield
Do you have a profile? Log in
Get notified about new Andrew Butterfield releases
Our customers say:
Add to your iMusic wish list
Unifying Theories of Programming: Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers - Lecture Notes in Computer Science
Andrew Butterfield
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.
279 pages, 21 black & white illustrations, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | July 30, 2010 |
| ISBN13 | 9783642145209 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 279 |
| Dimensions | 155 × 231 × 18 mm · 430 g |
| Language | French |
| Editor | Butterfield, Andrew |
More by Andrew Butterfield
Show all![Cover for Andrew Butterfield · A Dictionary of Computer Science - Oxford Quick Reference (Paperback Book) [7 Revised edition] (2016)](https://imusic.b-cdn.net/images/item/original/975/9780199688975.jpg?andrew-butterfield-2016-a-dictionary-of-computer-science-oxford-quick-reference-paperback-book&class=scaled&v=1483674737)
![Cover for Andrew Butterfield · Implementation and Application of Functional Languages: 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) [2006 edition] (2006)](https://imusic.b-cdn.net/images/item/original/747/9783540691747.jpg?andrew-butterfield-2006-implementation-and-application-of-functional-languages-17th-international-workshop-ifl-2005-dublin-ireland-september-19-21-2005-revised-selected-papers-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1539549807)
More from the same publisher
![Cover for Beatrix Troger · Steuerstandort Großbritannien: Grundlagen und Praxis des britischen Steuerrechts (Paperback Book) [2. Auflage 2025 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Handbuch Unternehmensorganisation: Strategien, Planung, Umsetzung (Book) [4. Auflage 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/290/9783642420290.jpg?2026-handbuch-unternehmensorganisation-strategien-planung-umsetzung-book&class=scaled&v=1779860172)
![Cover for Jean Paul · Jean Pauls Samtliche Werke. Historisch-kritische Ausgabe: Zweite Abteilung. Band 10.3: Satiren und Ironien. Kommentar (Hardcover Book) [1. Aufl. 2025 edition] (2026)](https://imusic.b-cdn.net/images/item/original/229/9783740012229.jpg?jean-paul-2026-jean-pauls-samtliche-werke-historisch-kritische-ausgabe-zweite-abteilung-band-10-3-satiren-und-ironien-kommentar-hardcover-book&class=scaled&v=1606304271)
![Cover for Kyrill-Alexander Schwarz · Praxishandbuch Landesstaatsorganisationsrecht (Hardcover Book) [1. Aufl. 2025 edition] (2026)](https://imusic.b-cdn.net/images/item/original/355/9783642253355.jpg?kyrill-alexander-schwarz-2026-praxishandbuch-landesstaatsorganisationsrecht-hardcover-book&class=scaled&v=1408485129)
![Cover for Karlheinz Schuffler · Musical Scales and their Mathematics - Mathematics Study Resources (Paperback Book) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/401/9783662695401.jpg?karlheinz-schuffler-2026-musical-scales-and-their-mathematics-mathematics-study-resources-paperback-book&class=scaled&v=1735177753)
![Cover for Albrecht Beutelspacher · Modern Cryptography: From RSA to Zero-Knowledge and Beyond - Mathematics Study Resources (Paperback Book) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/420/9783662674420.jpg?albrecht-beutelspacher-2026-modern-cryptography-from-rsa-to-zero-knowledge-and-beyond-mathematics-study-resources-paperback-book&class=scaled&v=1688517177)
![Cover for Imaging of Bone Tumors and Tumor-Like Lesions: Techniques and Applications - Medical Radiology (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/141/9783662733141.jpg?2026-imaging-of-bone-tumors-and-tumor-like-lesions-techniques-and-applications-medical-radiology-hardcover-book&class=scaled&v=1775079856)
![Cover for Franz Kronthaler · Data Analysis with RStudio: An Easygoing Introduction (Paperback Book) [Second rev. and enl. Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/434/9783662732434.jpg?franz-kronthaler-2026-data-analysis-with-rstudio-an-easygoing-introduction-paperback-book&class=scaled&v=1778114467)
![Cover for Dieter Schramm · Vehicle Dynamics: Modeling and Simulation (Hardcover Book) [Third Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/166/9783662723166.jpg?dieter-schramm-2026-vehicle-dynamics-modeling-and-simulation-hardcover-book&class=scaled&v=1774297528)
See all of Andrew Butterfield ( e.g. Paperback Book and Hardcover Book )