[email protected]
LIBRISTO 0
Austrian Post 5.99 € DPD courier 6.49 € GLS courier 4.49 €
phone Contact phoneHow to shop

Unifying Theories of Programming

Language EnglishEnglish
Book Paperback
Book Unifying Theories of Programming Shengchao Qin
Libristo code: 01656901
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, October 2010
This book constitutes the refereed proceedings of the Third International Symposium on Unifying Theo... Full description
? points 163 b
69.14 € včetně DPH
In stock at our supplier Shipping in 13-18 days
Austria Delivery to Austria

30-day return policy

You might also be interested in

Black Sabbath Black Sabbath / Paperback
common.buy 44.84 €
Giant Country Douglas Graham / Hardback
common.buy 24.40 €
Markenpersoenlichkeit und Erfolg einer Marke Isabel Speranza / Paperback
common.buy 19.21 €
Personal Narrative of the Discovery of the North-West Passage Alexander Armstrong / Paperback
common.buy 79.84 €
Understanding Community Care Ann McDonald / Paperback
common.buy 61.97 €
Applied Practices in Strategic Human Resource Planning and Management Jones Orumwense / Paperback
common.buy 79.20 €
HANDEL MAJOR CHORAL WORKS CDROM / binding.
common.buy 43.34 €
Modern Techniques in Neuroscience Research, w. CD-ROM Uwe Windhorst / Hardback
common.buy 459.31 €
Homo cerebralis Michael Hagner / Paperback
common.buy 21.41 €
Individuelle Förderung: Lernschwierigkeiten als schulische Herausforderung Christian Fischer / Paperback
common.buy 21.30 €
COMING SOON
Organic Silicon-Oxygen Compounds Paul Lickiss / Hardback
common.buy 119.77 €
Buddha Wept Barclay / Paperback
common.buy 19.15 €
Anthropogenic Tropical Forests in the 21st Century Nor Rasidah Hashim / Paperback
common.buy 52.44 €
Reviving Democracy Rajesh Tandon / Paperback
common.buy 48.80 €
Strange New Worlds Dean Wesley Smith / Paperback
common.buy 25.25 €
Revolution in the Dark James Davis / Paperback
common.buy 12.94 €

This book constitutes the refereed proceedings of the Third International Symposium on Unifying Theories of Programming, UTP 2010, held in Shanghai, China, in November 2010, in conjunction with the 12th International Conference on Formal Engineering Methods, ICFEM 2010.§The 12 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 25 submissions. Based on the pioneering work on unifying theories of programming of Tony Hoare, He Jifeng, and others, the aims of this Symposium series are to continue to reaffirm the significance of the ongoing UTP project, to encourage efforts to advance it by providing a focus for the sharing of results by those already actively contributing, and to raise awareness of the benefits of such a unifying theoretical framework among the wider computer science and software engineering communities.

About the book

Full name Unifying Theories of Programming
Author Shengchao Qin
Language English
Binding Book - Paperback
Date of issue 2010
Number of pages 310
EAN 9783642166891
ISBN 364216689X
Libristo code 01656901
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 496
Dimensions 155 x 238 x 20

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account