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
Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €
phone Contact phoneHow to shop

Mathematics of Program Construction

5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings

Language EnglishEnglish
Book Paperback
Book Mathematics of Program Construction Roland Backhouse
Libristo code: 01567489
Publishers Springer, Berlin, November 1999
This volume constitutes the refereed proceedings of the 5th International Conference on Mathematics... Full description
? points 132 b
53.79 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

Eine Einführung in die Mathematik an Beispielen aus der Informatik Steffen Goebbels / Book Paperback
common.buy 34.99 €
Manuel d'auto-réflexologie Despeisse-Leiné Aline / Book Paperback
common.buy 27.29 €
Tři kroky od pekla Veronika Černucká / Book Hardback
common.buy 9.59 €
Je me vengerai de la vie Georges Al Maalouf / Book Paperback
common.buy 19.09 €
Prevalencia del transportador resistente a la cloroquina del Plasmodium falciparum / Book Paperback
common.buy 33.59 €
Gra rodzinna Spy Guy Junior Dinozaury / Game/Toy Game
common.buy 18.49 €
Frauenfiguren in Karamzins "Bednaja Liza" und Richardsons "Clarissa, or, the History of a Young Lady" / Book Paperback
common.buy 17.95 €
Bliss Brain Dawson Church / E-book Adobe ePub DRM
common.buy 26.29 €
Les Filles qui mentent Eva Björg Ægisdóttir / Book Paperback
common.buy 13.39 €
Les conflits de loyauté - Accompagner les enfants pris au piège des loyautés familiales Roland Coutanceau Book Paperback
common.buy 34.99 €
Au rythme des mots CM1 2012 Cahier d'exercices Fabienne Rubens / Book Paperback
common.buy 10.69 €
Die Strafbarkeit der Abgabe eines unrichtigen Bilanzeids gemäß 331 Nr. 3a HGB. Ulrich Fleischer / Book Paperback
common.buy 88.19 €
Commentariae Annotationes In Libros Priorum Resolutivorum Aristotelis ohannes Philoponus / Book Hardback
common.buy 175.99 €
Einflussgroessen auf die sensomotorische Adaptation, Kognition und Propriozeption Katja Pipereit / Book Paperback
common.buy 148.00 €
Jenseits der Flammen Reinhart Brandau / Book Paperback
common.buy 6.89 €
Wunde in mir. Misshandlung auf Krankenschein Johanna Darka / Book Paperback
common.buy 24.80 €
Therapie der Adipositas im Kindes- und Jugendalter, m. CD-ROM Thomas Reinehr / Book Paperback
common.buy 36.95 €
Hybride Malls - Evolution der Einzelhandelsimmobilien Katharina Preuß / Book Paperback
common.buy 42.95 €
Elektronische Partizipation Frank Kuhn / Book Paperback
common.buy 54.99 €

This volume constitutes the refereed proceedings of the 5th International Conference on Mathematics of Program Construction, MPC 2000, held in Ponte de Lima, Portugal, in July 2000.§The 12 revised full papers presented were carefully reviewed and selected for inclusion in the book. Also presented are three invited contributions. The papers address issues of programming methodology, program specification, program transformation, programming paradigms, programming calculi, and programming language semantics from the mathematical and logical point of view.

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 Roland Backhouse, Jose Nuno Oliveira
Language English
Binding Book - Paperback
Date of issue 2000
Number of pages 262
EAN 9783540677277
ISBN 3540677275
Libristo code 01567489
Publishers Springer, Berlin
Weight 415
Dimensions 155 x 235 x 14

Categories

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
Medicine & Nursing > Medicine: general issues
Computing & Information Technology > Operating systems
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

Collecting Art Deco Kevin McConnell / Book Hardback
common.buy 39.89 €
Whistling in the Face of Robbers Dahn A Batchelor / Book Hardback
common.buy 33.49 €
Ben and Holly's Little Kingdom: Holly's Lost Wand - A Search-and-Find Book Ladybird / Book Paperback
common.buy 9.19 €
Benelux Waterway Vessels JOHN EATON / Book Paperback
common.buy 18.59 €
Paper Tiger Tom Coyne / Book Paperback
common.buy 11.89 €
100 Things Mariners Fans Should Know & Do Before They Die Michael Emmerich / Book Paperback
common.buy 15.39 €
Top
Baptism of Fire David French / Book Hardback
common.buy 24.59 €
Building a Successful Volunteer Culture Ron Wolfson / Book Hardback
common.buy 22.79 €
Most Beautiful Blank Notebook and Journal, Keep Track of Everything ACTIVINOTES / Book Paperback
common.buy 14.29 €
Endangered Mary Helen Smith / Book Paperback
common.buy 15.39 €
Apache, MySQL and PHP Web Development All-in-One Desk Reference for Dummies Jeff Cogswell / Book Paperback
common.buy 39.69 €
Learn to Read Sanskrit Easily! S Ramakrishnan / Book Paperback
common.buy 17.29 €
Affordable
Fundamentals of Aerospace Engineering (2nd Edition): An introductory course to aeronautical engineering Manuel Soler / Book Paperback
common.buy 20.29 €
Data Structures and Program Design Using C++ D Malhotra / Book Paperback
common.buy 62.89 €
In a Shallow Grave (Valancourt 20th Century Classics) James Purdy / Book Paperback
common.buy 20.69 €
Solar Drying Technology Om Prakash / Book Paperback
common.buy 246.49 €
Kilvert's Diary Francis Kilvert / Book Paperback
common.buy 14.69 €
Six Roads From Abilene: Some Personal Recollections Of Edgar Eisenhower John McCallum / Book Hardback
common.buy 40.69 €
Francis Bacon Michael Peppiatt / Book Hardback
common.buy 43.09 €
Sarah and Paul Go to the Museum Derek Prime / Book Paperback
common.buy 8.59 €
Every Woman Deserves an Adventure Yvonne Roberts / Book Paperback
common.buy 18.89 €
Program Construction - Calculating Implementations from Specifications Roland C. Backhouse / Book Paperback
common.buy 73.09 €
Risk Management and Corporate Governance Abol Jalilvand / Book Paperback
common.buy 74.39 €
Path to Rome Modern Journeys to the Catholic Church Dwight Longenecker / Book Paperback
common.buy 25.89 €

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?