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

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Mathematics of Program Construction

Name: Mathematics of Program Construction
Brand: Springer, Berlin
SKU: 05274480
Price: 51.15 EUR
Availability: InStock
Author: Bernhard Möller
ISBN: 9783540601173

3rd International Conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995. Proceedings

Bernhard Möller

Language

English

Book Paperback

Libristo code: 05274480

Publishers Springer, Berlin, November 1994

This volume constitutes the proceedings of the Third International Conference on the Mathematics of... Full description

Libristo code: 05274480

125 b

51.15 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Fizjologia i patofizjologia. Podręcznik dla studentów. Tom 1

Paperback

37.81 €

傾巢之下，中國歷史上的政治世家：隴西將門李家×東晉瑯琊王家×烏衣巷風雅謝家×三國忠孝諸葛家......中國史上最輝煌的幾個權力家族，維持百年的興衰榮辱！張程

Paperback

34.19 €

ESPORAS GONZALEZ

Paperback

15.24 €

LOBA Y EL LEÑADOR,LA CHI REID

Paperback

28.78 €

Plantopedia Sophia Kaplan

Hardback

23.46 €

Mixtett - Disney Die Eiskönigin 2 Set 4 (Sven) Ass Altenburg

Game

7.51 €

Erstellung eines prozessorientierten Qualitätsmanagementhandbuches nach DIN EN ISO 9001:2000 Dmitriy Kudryashov

Paperback

42.42 €

Matematika 222 úloh k přijímacím zkouškám na střední školu Martin Staněk

Paperback

6.11 €

INNENRAUME FUR ORGEL ORGUE ISABEL MUNDRY Book

binding.

28.18 €

L'océan, les bêtes et l'homme Conti

Book

13.13 €

JOHN HARBISON: RUBIES (AFTER THELONIOUS MONK'S 'RUBY, MY DEAR') GALANTE Book

binding.

84.45 €

Algebre Commutative N. Bourbaki

Paperback

73.52 €

Einführung in die spanische Literatur und Kultur des Siglo de Oro Hanno Ehrlicher

Paperback

21.36 €

Il Designato Luciano Zuccoli

Hardback

20.35 €

De Werken van William Shakespeare Overzicht van Shakespeare's leven en werken Leendert. A. J. Burgersdijk

Hardback

40.51 €

Leń Brzechwa Jan

Paperback

3.50 €

This volume constitutes the proceedings of the Third International Conference on the Mathematics of Program Construction, held at Kloster Irsee, Germany in July 1995.Besides five invited lectures by distinguished researchers there are presented 19 full revised papers selected from a total of 58 submissions. The general theme is the use of crisp, clear mathematics in the discovery and design of algorithms and in the development of corresponding software and hardware; among the topics addressed are program transformation, program analysis, program verification, as well as convincing case studies.