BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Mathematics of Program Construction

Mathematics of Program Construction

Mathematics of Program Construction
Stock photo: cover may vary

Mathematics of Program Construction Papeback -

by Bernhard Moller

Add to wish list
  • Used
Used

Description

Springer , pp. 492 . Papeback. Used.
Ask the seller a question Add to wish list
A$98.77
A$5.78 Delivery within USA
Standard delivery: 9 to 14 days
More delivery options
Ships from Cold Books (New York, United States)

Details

  • Title Mathematics of Program Construction
  • Author Bernhard Moller
  • Binding Papeback
  • Edition 1st
  • Condition Used
  • Pages 472
  • Language ENG
  • Publisher Springer , Berlin, Germany
  • Publication date pp. 492
  • Bookseller's Inventory # 63105705
  • ISBN 9783540601173
  • Quantity available 1

About Cold Books New York, United States

Biblio member since 2012

Terms of Sale: 30 day return guarantee, with full refund including shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged.

Browse books from Cold Books

Reader reviews for Mathematics of Program Construction

From the publisher

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.
tracking-