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 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Mathematics of Program Construction

6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings

Language EnglishEnglish
Book Paperback
Book Mathematics of Program Construction Eerke A. Boiten
Libristo code: 01564425
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, June 2002
This book constitutes the refereed proceedings of the 6th International Conference on Mathematics of... Full description
? points 125 b
51.59 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Best Of Chuck Berry Chuck Berry Audio Audio CD
common.buy 9.38 €
Hallo Baby! Mein Schwangerschaftstagebuch: A5 Tagebuch mit schönen Sprüchen als Geschenk für Schwangere - Geschenkidee für werdene Mütter - Schwangers Schwangerschaft Tagebuch / Book Paperback
common.buy 9.38 €
Affordable
Ennio Morricone conducts Morricone - His Greatest Hits, 1 Audio-CD Ennio Morricone / Audio Audio CD
common.buy 7.97 €
Morötesi Requiem Ece Ayhan / Book Paperback
common.buy 10.19 €
Les Lions Du Jour: Physionomies Parisiennes... Alfred Delvau / Book Paperback
common.buy 24.02 €
Buch Judith, das 1. Buch der Apokryphen aus der Bibel, Ein lehrhafter, weisheitlicher Roman Antonia Katharina Tessnow / Book Paperback
common.buy 6.65 €
qui voit quoi Katayama ken Book Hardback
common.buy 14.43 €
Affordable
La guerre des Clans cycle IV Les signes du destin - tome 4 L'empreinte de la lune Erin Hunter / Book Paperback
common.buy 12.41 €
Les raisons de vos défaites aux échecs Reinfeld / Book Paperback
common.buy 19.48 €
Los paisajes del litoral fluvial en las interfases urbano/rural Llomparte Frenzel / Book Book
common.buy 26.54 €
Expressionisten am Folkwang / Book Hardback
common.buy 48.46 €
Kult rysa ostrovida Juraj Koudela / Book Paperback
common.buy 17.15 €
Zoblečený do ozveny Pavel Elgyütt / Book Hardback
common.buy 6.25 €
Liebespaare Ulrich Woelk / Book Paperback
common.buy 10.89 €
Organisationsentwicklung Konkret Ralph Grossmann / Book Paperback
common.buy 51.79 €
Wege zur Erleuchtung zwischen Selbsterkenntnis und Verblendung Werner Smigelski / Book Paperback
common.buy 8.17 €
Der Grosse Schwabenzug Adam Müller-Guttenbrunn / Book Hardback
common.buy 26.75 €
Memoria dirigida al Sr. Marquez de Loreto, Virey y Capitan General de las Provincias del Rio de La Plata Francisco de Viedma / Book Hardback
common.buy 16.15 €
Zwischen Ende und Neuanfang Freimut Hengst / Book Paperback
common.buy 44.42 €
Italienische Migration Nach Deutschland Marc Schmid / Book Paperback
common.buy 57.74 €
Icimdeki Sakli Cocuk Didem Turgut cönkü / Book Paperback
common.buy 10.19 €
Jeunesse Du Marechal de Luxembourg, 1628-1668 (Ed.1900) Pierre De Segur / Book Paperback
common.buy 35.13 €
Cours de Droit Civil Francais: d'Apres La Methode de Zachariae. Tome 1 (Ed.1869-1879) Charles Aubry / Book Paperback
common.buy 39.07 €
Keine Rosen für OSS 117, 1 DVD Andre Hunebelle / Video DVD
common.buy 29.57 €

This book constitutes the refereed proceedings of the 6th International Conference on Mathematics of Program Construction, MPC 2002, held in Dagstuhl Castle, Germany, in July 2002.The 11 revised full papers presented were carefully reviewed and selected for inclusion in the book; also presented are one invited paper and the abstracts of two invited talks. Among the topics covered are programming methodology, program specification, program transformation, programming paradigms, programming calculi, and programming language semantics.

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 Eerke A. Boiten, Bernhard Möller
Language English
Binding Book - Paperback
Date of issue 2002
Number of pages 263
EAN 9783540438571
ISBN 3540438572
Libristo code 01564425
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 438
Dimensions 158 x 231 x 16

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
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
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

Metal Impurities in Silicon-Device Fabrication Klaus Graff / Book Paperback
common.buy 102.78 €
The Tug of the Plug Nicole Allin / Book Hardback
common.buy 13.92 €
Philo About The Contemplative Life: Or The Fourth Book Of The Treatise Concerning Virtues (1895) Charles Duke Philo / Book Paperback
common.buy 37.25 €
Narrative of the Voyage of H.M.S. Herald During the Years 1845-51, Under the Command of Captain Henry Kellett... Being a Circumnavigation of the Globe Berthold Carl Seemann / Book Paperback
common.buy 24.02 €
Introduction to Faith-Based and Community Initiatives Jacqueline M. Edwards / Book Paperback
common.buy 28.06 €
Veterinary Anatomy of Domestic Animals Hans-Georg Liebich / Book Hardback
common.buy 270.99 €
Social Work Practice Jonathan Parker / Book Hardback
common.buy 87.43 €
Shakespeare for Analysts: Literature and Intelligence: Occasional Paper Number Ten Jeffrey White / Book Paperback
common.buy 16.65 €
Fifty-Two Sundays Ruth Baird Shaw / Book Paperback
common.buy 22.91 €
Problems And Solutions In Theoretical And Mathematical Physics - Volume Ii: Advanced Level (Third Edition) Willi-Hans Steeb / Book Paperback
common.buy 37.75 €
A Hoosier Chronicle Meredith Nicholson / Book Paperback
common.buy 49.46 €
Conducting Empirical Analysis Rosalee A. Clawson / Book Paperback
common.buy 41.19 €
Interrupted Time Series Analysis David McDowall / Book Paperback
common.buy 27.25 €
Kingdom by the Sea Paul Theroux / Book Paperback
common.buy 13.92 €
Enzyme Induction and Modulation V.A. Najjar / Book Paperback
common.buy 226.16 €
Once in a Lifetime Jill Shalvis / Book Paperback
common.buy 9.99 €
The Book of John: Steps to a Happier Life (B&W) John Richard Marsh / Book Paperback
common.buy 6.96 €
Superalloys Natalia N. Stepanova / Book Paperback
common.buy 71.27 €
Translations of German Poetry in American Magazines 1741-1810 Edward Ziegler Davis / Book Paperback
common.buy 13.52 €
Bank Funding, Liquidity, and Capital Adequacy José Gabilondo / Book Hardback
common.buy 127.51 €
Methods of Biostatistics for Medical students Pathan Jamal Khan / Book Paperback
common.buy 54.21 €
Shiva: The Three-Eyed God Wonder House Books / Book Hardback
common.buy 10.59 €
Post-colonial State and Civil War in Sudan Noah Bassil / Book Hardback
common.buy 181.03 €
Los vengadores: La isla de garra amarilla DAVID MICHELINI / Book Paperback
common.buy 29.57 €

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?