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 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 125 b
18 713 Ft
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 10 150 Ft
Die Falterfrau Maria Sibylla Merian, Großdruck Utta Keppler / Book Paperback
common.buy 4 669 Ft
?Quién Se Robó Las Galletas? (Who Stole the Cookies? Spanish Edition) Yanitzia Canetti / Book Hardback
common.buy 5 419 Ft
Guía práctica de adiestramiento del cachorro Sabine Winkler / Book Paperback
common.buy 8 427 Ft
Coming soon
EL ARTE DE AHOGARSE REID / Book Paperback
common.buy 8 441 Ft
BABADADA, Malti - Francais avec des articles, dizzjunarju bl-istampi - le dictionnaire visuel Babadada GmbH / Book Paperback
common.buy 11 108 Ft
Top
Puzzle 1000el. Premium Plus. Tea Time: Domek pod strzechą / Game/Toy Jigsaw puzzle
common.buy 3 399 Ft
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 10 376 Ft
Yaroslavskaya eparhiya v konce XVIII-nachale XX vekov Ol'ga Dashkovskaya / Book Paperback
common.buy 30 270 Ft
Los científicos Ors / Book Paperback
common.buy 3 220 Ft
Song of Ice & Fire - House Harlaw Reapers Eric M. Lang / Game/Toy Game
common.buy 13 459 Ft
Míňať menej, získať viac Rebecca Rockefeller Liesl / Book Hardback
common.buy 4 938 Ft
Category Management. Einführung einer Warengruppenstrategie im Bereich Kunststoffprodukte anhand des Beispiels von technischen Kunststoffteilen / Book Paperback
common.buy 6 406 Ft
Agua y jabón MARTA D.RIEZU / Book Paperback
common.buy 4 702 Ft
AchtNacht Judith Kutzner / Book Paperback
common.buy 5 301 Ft
Kožené pouzdro na karty a doklady - pull up braun / Stationery items Stationery items
common.buy 6 944 Ft
A halál anatómiája Róbert Surovec / Book Paperback
common.buy 4 806 Ft
John Ronald Reuel Tolkien. L'imprevedibilità del bene Andrea Monda / Book Paperback
common.buy 8 818 Ft
Vom Schlichten Sein Zum Sch nen Schein? Stephan Becker-Sonnenschein / Book Paperback
common.buy 20 885 Ft
Уцелевшая Москва прошлого. Памятники архитектуры Москвы, сохранившиеся к началу XXI века. Книга 1. Архитектура допетровской эпохи Анатолий Пеньков / Book Hardback
common.buy 15 404 Ft

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 5 103 Ft
Getting Your MSW, Second Edition Karen M. Sowers / Book Paperback
common.buy 20 389 Ft
Current and Emerging Therapies in Pancreatic Cancer Tanios Bekaii-Saab / Book Hardback
common.buy 51 603 Ft
Innocent Lie SAM CROMARTIE / Book Hardback
common.buy 12 680 Ft
This Long Pursuit: Reflections of a Romantic Biographer Richard Holmes / Book Paperback
common.buy 5 523 Ft
Value Driven Healthcare and Geriatric Medicine James Powers / Book Paperback
common.buy 25 568 Ft
Make It Better Mr John D Sanabria / Book Paperback
common.buy 2 634 Ft
Darkness Beyond GLYNN STEWART / Book Paperback
common.buy 7 199 Ft
Towards the Creative Teaching of English Maggie Melville / Book Paperback
common.buy 19 761 Ft
Heidegger J Jeremy Wisnewski / Book Paperback
common.buy 19 926 Ft
Project without Form SCHURK HOLGER / Book Paperback
common.buy 12 756 Ft
Works of Lord Byron: With His Letters and Journals, and His Life, Volume 6 Thomas Moore / Book Paperback
common.buy 10 915 Ft
The Students' Atlas of Physical Geography: Consisting of Twenty Maps James Bryce / Book Paperback
common.buy 6 812 Ft
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 12 350 Ft
From Pekin To Calais By Land (1892) Harry de Windt / Book Paperback
common.buy 14 191 Ft
Microbiome in Plant Health and Disease Vivek Kumar / Book Hardback
common.buy 60 747 Ft
INDUSTRIAL SAFETY Express Publishing (obra colectiva) / Book Book
common.buy 8 833 Ft
A Hybrid Soft Computing Approach To Clustering Based GSTEB Protocol Supreet Kaur / Book Paperback
common.buy 17 741 Ft
Project Management and Engineering Research Salvador F. Capuz-Rizo / Book Paperback
common.buy 80 957 Ft
Top
Japanese Yokai and Other Supernatural Beings MARKS ANDREAS / Book Hardback
common.buy 9 220 Ft
How To Get Your Point Across In 30 Seconds Or Less Milo O. Frank / Audiobook MP3
common.buy 3 682 Ft
Creative Play the Steiner Waldorf Way Christopher Clouder / E-book Adobe ePub DRM
common.buy 1 586 Ft
GNSS Monitoring of the Terrestrial Environment Yosuke Aoki / Book Paperback
common.buy 64 987 Ft
Top
I Who Have Never Known Men Jacqueline Harpman / Book Paperback
common.buy 3 531 Ft

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?