Mathematics of Program Construction

Name: Mathematics of Program Construction
Brand: Springer, Berlin
SKU: 9783540601173
Price: 52.71 EUR
Availability: InStock

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

Автор: Bernhard Möller

Език:

Корици: С меки корици

Издател: Springer, Berlin

Наличност: Външен склад

Изпращаме след 5-8 дни

52.71 € 103.09 лв

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

Информация за книгата

Автор

Bernhard Möller

Език

Английски език

Корици

Книга - С меки корици

Издадена

1995

страници

479

EAN

9783540601173

ISBN

3540601171

Enbook ID

05274480

Издател

Springer, Berlin

Теглоt

716

Размери

156 x 234 x 25

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Mathematics of Program Construction

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

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също