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 Paperback - 1995

by MÖLLER, BERNHARD,

Add to wish list
  • Used
  • Paperback
  • first
New

Description

Springer, 1995. 1st. Paperback. UsedLikeNew/UsedLikeNew.
Ask the seller a question Add to wish list
A$65.33
A$29.04 Delivery to USA
Standard delivery: 7 to 12 days
More delivery options
Ships from DELHI BOOK STORE (Delhi, India)

Details

About DELHI BOOK STORE Delhi, India

Biblio member since 2007

Our prime concern is to make books available with its extensive choices of titles on all subjects for medicine, engineers, technocrats, corporates, scientists, academics, students, scholars and many more at attractive price range.

Terms of Sale: BOOKS CAN BE RETURNED IF IT IS UNOPENED OR SHRINK WRAP IS NOT BROKEN.

Browse books from DELHI BOOK STORE

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-