Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

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

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

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Mathematics of Program Construction

Name: Mathematics of Program Construction
Brand: Springer, Berlin
SKU: 01567489
Price: 20383 HUF
Availability: InStock
Author: Roland Backhouse
ISBN: 9783540677277

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

Roland Backhouse

Jose Nuno Oliveira

Language

English

Book Paperback

Libristo code: 01567489

Publishers Springer, Berlin, November 1999

This volume constitutes the refereed proceedings of the 5th International Conference on Mathematics... Full description

Libristo code: 01567489

136 b

20 383 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Eine Einführung in die Mathematik an Beispielen aus der Informatik Steffen Goebbels

Paperback

13 103 Ft

Manuel d'auto-réflexologie Despeisse-Leiné Aline

Paperback

9 666 Ft

Tři kroky od pekla Veronika Černucká

Hardback

3 678 Ft

Je me vengerai de la vie Georges Al Maalouf

Paperback

4 833 Ft

Prevalencia del transportador resistente a la cloroquina del Plasmodium falciparum

Paperback

12 757 Ft

Gra rodzinna Spy Guy Junior Dinozaury

Game

6 438 Ft

Frauenfiguren in Karamzins "Bednaja Liza" und Richardsons "Clarissa, or, the History of a Young Lady"

Paperback

6 423 Ft

Bliss Brain Dawson Church

Adobe ePub DRM

9 188 Ft

Les Filles qui mentent Eva Björg Ægisdóttir

Paperback

4 681 Ft

Les conflits de loyauté - Accompagner les enfants pris au piège des loyautés familiales Roland Coutanceau Book

Paperback

12 279 Ft

Au rythme des mots CM1 2012 Cahier d'exercices Fabienne Rubens

Paperback

3 721 Ft

Die Strafbarkeit der Abgabe eines unrichtigen Bilanzeids gemäß 331 Nr. 3a HGB. Ulrich Fleischer

Paperback

34 687 Ft

Commentariae Annotationes In Libros Priorum Resolutivorum Aristotelis ohannes Philoponus

Hardback

61 574 Ft

Einflussgroessen auf die sensomotorische Adaptation, Kognition und Propriozeption Katja Pipereit

Paperback

52 268 Ft

Jenseits der Flammen Reinhart Brandau

Paperback

2 613 Ft

Wunde in mir. Misshandlung auf Krankenschein Johanna Darka

Paperback

8 856 Ft

Therapie der Adipositas im Kindes- und Jugendalter, m. CD-ROM Thomas Reinehr

Paperback

13 827 Ft

Hybride Malls - Evolution der Einzelhandelsimmobilien Katharina Preuß

Paperback

15 237 Ft

Elektronische Partizipation Frank Kuhn

Paperback

20 520 Ft

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.