Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

Mathematics of Program Construction

11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings

Language EnglishEnglish
Book Paperback
Book Mathematics of Program Construction Jeremy Gibbons
Libristo code: 01661444
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, June 2012
This book constitutes the refereed proceedings of the 11th International Conference on Mathematics o... Full description
? points 132 b
54.37 €
106.34  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Vie de Saint Vincent de Paul Collet-P / Book Paperback
common.buy 28.01 € 54.78 лв
Průvodce světem plastikového modeláře 9 Marian Bunc / Book Hardback
common.buy 12.81 € 25.06 лв
Yaroslavskaya eparhiya v konce XVIII-nachale XX vekov Ol'ga Dashkovskaya / Book Paperback
common.buy 88.38 € 172.86 лв
Ravensburger Puzzle 12000726 - Pokémon Classics - 1500 Teile Puzzle für Erwachsene und Kinder ab 14 Jahren, Pokémon Puzzle / Game/Toy Game
common.buy 19.22 € 37.60 лв
Top
Puzzle 1000el. Premium Plus. Tea Time: Domek pod strzechą / Game/Toy Jigsaw puzzle
common.buy 9.14 € 17.88 лв
Coming soon
EL ARTE DE AHOGARSE REID / Book Paperback
common.buy 24.55 € 48.01 лв
Guía práctica de adiestramiento del cachorro Sabine Winkler / Book Paperback
common.buy 24.34 € 47.61 лв
?Quién Se Robó Las Galletas? (Who Stole the Cookies? Spanish Edition) Yanitzia Canetti / Book Hardback
common.buy 13.59 € 26.58 лв
Die Falterfrau Maria Sibylla Merian, Großdruck Utta Keppler / Book Paperback
common.buy 12.45 € 24.35 лв
Formulación de evaluación de proyectos Adolfo Blanco / E-book Adobe ePub DRM
common.buy 6.30 € 12.32 лв
Song of Ice & Fire - House Harlaw Reapers Eric M. Lang / Game/Toy Game
common.buy 39.28 € 76.82 лв
Míňať menej, získať viac Rebecca Rockefeller Liesl / Book Hardback
common.buy 14.57 € 28.50 лв
Category Management. Einführung einer Warengruppenstrategie im Bereich Kunststoffprodukte anhand des Beispiels von technischen Kunststoffteilen / Book Paperback
common.buy 17.10 € 33.45 лв
Agua y jabón MARTA D.RIEZU / Book Paperback
common.buy 13.69 € 26.78 лв
Balance 2019: Tarot Horoscope - Num Joan Pruvost / Book Paperback
common.buy 13.95 € 27.29 лв
A halál anatómiája Róbert Surovec / Book Paperback
common.buy 14.00 € 27.39 лв
John Ronald Reuel Tolkien. L'imprevedibilità del bene Andrea Monda / Book Paperback
common.buy 23.57 € 46.09 лв
Vom Schlichten Sein Zum Sch nen Schein? Stephan Becker-Sonnenschein / Book Paperback
common.buy 55.87 € 109.27 лв
Уцелевшая Москва прошлого. Памятники архитектуры Москвы, сохранившиеся к началу XXI века. Книга 1. Архитектура допетровской эпохи Анатолий Пеньков / Book Hardback
common.buy 44.91 € 87.84 лв
Los científicos Ors / Book Paperback
common.buy 9.40 € 18.39 лв
Kožené pouzdro na karty a doklady - pull up braun / Stationery items Stationery items
common.buy 19.59 € 38.31 лв
AchtNacht Judith Kutzner / Book Paperback
common.buy 14.16 € 27.69 лв
BABADADA, Malti - Francais avec des articles, dizzjunarju bl-istampi - le dictionnaire visuel Babadada GmbH / Book Paperback
common.buy 28.32 € 55.39 лв

This book constitutes the refereed proceedings of the 11th International Conference on Mathematics of Program Construction, MPC 2012, held in Madrid, Spain, in June 2012. The 13 revised full papers presented together with three invited talks were carefully reviewed and selected from 27 submissions. The papers are organized in topical sections on security and information flow, synchronous and real-time systems, algorithms and games, program calculi, tool support, algebras and datatypes, and categorical functional programming.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Mathematics of Program Construction
Author Jeremy Gibbons, Pablo Nogueira
Language English
Binding Book - Paperback
Date of issue 2012
Number of pages 363
EAN 9783642311123
ISBN 3642311121
Libristo code 01661444
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 569
Dimensions 155 x 235 x 21

Categories

Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Mathematics & Science > Mathematics > Discrete mathematics
Computing & Information Technology > Business applications > Mathematical & statistical software
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 > Databases > Data capture & analysis
Computing & Information Technology > Computer science > Computer architecture & logic design
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

You might also be interested in

English usage grammar files Upper-intermediate B2 ANDREW BETSIS / Book Paperback
common.buy 14.88 € 29.11 лв
Getting Your MSW, Second Edition Karen M. Sowers / Book Paperback
common.buy 58.92 € 115.24 лв
Current and Emerging Therapies in Pancreatic Cancer Tanios Bekaii-Saab / Book Hardback
common.buy 138.06 € 270.02 лв
Innocent Lie SAM CROMARTIE / Book Hardback
common.buy 30.34 € 59.33 лв
This Long Pursuit: Reflections of a Romantic Biographer Richard Holmes / Book Paperback
common.buy 15.66 € 30.62 лв
Value Driven Healthcare and Geriatric Medicine James Powers / Book Paperback
common.buy 74.48 € 145.67 лв
Make It Better Mr John D Sanabria / Book Paperback
common.buy 6.71 € 13.13 лв
Darkness Beyond GLYNN STEWART / Book Paperback
common.buy 18.40 € 35.98 лв
Towards the Creative Teaching of English Maggie Melville / Book Paperback
common.buy 54.53 € 106.65 лв
Microbiome in Plant Health and Disease Vivek Kumar / Book Hardback
common.buy 162.61 € 318.04 лв
Quotes of Courage: How Teens Win At The Game Of Life Muhammad / Book Paperback
common.buy 8.52 € 16.67 лв
Project without Form SCHURK HOLGER / Book Paperback
common.buy 34.06 € 66.61 лв
Works of Lord Byron: With His Letters and Journals, and His Life, Volume 6 Thomas Moore / Book Paperback
common.buy 27.34 € 53.47 лв
The Students' Atlas of Physical Geography: Consisting of Twenty Maps James Bryce / Book Paperback
common.buy 17.10 € 33.45 лв
The Epitome of Medicine: A Monthly Retrospect of Progress in All Divisions of Medico-Chirurgical Practice. ... . Vol. I-X, [1884-1893].... Anonymous / Book Paperback
common.buy 31.58 € 61.76 лв
From Pekin To Calais By Land (1892) Harry de Windt / Book Paperback
common.buy 36.33 € 71.06 лв
Marine Ecological Processes Ivan Valiela / Book Hardback
common.buy 127.46 € 249.29 лв
INDUSTRIAL SAFETY Express Publishing (obra colectiva) / Book Book
common.buy 25.43 € 49.73 лв
A Hybrid Soft Computing Approach To Clustering Based GSTEB Protocol Supreet Kaur / Book Paperback
common.buy 51.79 € 101.29 лв
Project Management and Engineering Research Salvador F. Capuz-Rizo / Book Paperback
common.buy 216.68 € 423.78 лв
Top
Japanese Yokai and Other Supernatural Beings MARKS ANDREAS / Book Hardback
common.buy 23.10 € 45.18 лв
How To Get Your Point Across In 30 Seconds Or Less Milo O. Frank / Audiobook MP3
common.buy 10.75 € 21.02 лв
Creative Play the Steiner Waldorf Way Christopher Clouder / E-book Adobe ePub DRM
common.buy 4.60 € 8.99 лв
GNSS Monitoring of the Terrestrial Environment Yosuke Aoki / Book Paperback
common.buy 167.47 € 327.54 лв

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
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?