Your Waterstones card is changing, introducing...
TELL ME MORE
Unifying Theories of Programming: Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings - Lecture Notes in Computer Science 6445 (Paperback)
  • Unifying Theories of Programming: Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings - Lecture Notes in Computer Science 6445 (Paperback)
zoom

Unifying Theories of Programming: Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings - Lecture Notes in Computer Science 6445 (Paperback)

(editor)
£62.99
Paperback 310 Pages / Published: 21/10/2010
  • Publisher out of stock

Currently unavailable to order

This product is currently unavailable.

  • This item has been added to your basket
This book constitutes the proceedings of the Third International Symposium on Unifying Theories of Programming (UTP 2010) held at East China Normal University,Shanghai,China,November15-16,2010inconjunctionwiththe12th International Conference on Formal Engineering Methods (ICFEM 2010). This symposium followed on the success of the ?rst one, held at Walworth Castle (Durham, UK) in 2006, and the second, held at Trinity College (Dublin, Ireland) in 2008. Based on the pioneering work of C.A.R. Hoare, He Jifeng, and others on unifying theories of programming, the aims of this symposium series are, as stated in UTP 2008, to continue to rea?rm the signi?cance of the ongoing UTP project, to encourage e?orts to advance it by providing a focus for the sharing of results by those already actively contributing, and to raise awareness of the bene?ts of such a unifying theoretical framework among the wider computer science and software engineering communities. TheprogramfortheUTP2010symposiumincludesoneinvitedtutorial,three invited talks, and 12 regular paper presentations. I would like to warmly thank ourinvitedspeakers,AnaCavalcanti,HeJifeng,Je?SandersandJimWoodcock, as well asall the authors,for their enthusiasticand engagedparticipation in this event.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783642166891
Number of pages: 310
Weight: 431 g
Dimensions: 239 x 155 x 18 mm

You may also be interested in...

The End of Error
Added to basket
Purely Functional Data Structures
Added to basket
Introduction to Algorithms
Added to basket
Understanding Cryptography
Added to basket
Concise Guide to Databases
Added to basket
Machine Learning
Added to basket
£39.99
Paperback
Algorithms Unlocked
Added to basket
Understanding Cryptography
Added to basket
Algorithms
Added to basket
£66.99
Hardback

Reviews

Please sign in to write a review

Your review has been submitted successfully.