.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Mathematics of Program Construction
Jan L. A. . Ed(S): Van de Snepscheut
€ 72.80
FREE Delivery in Ireland
Description for Mathematics of Program Construction
Paperback. Editor(s): Van de Snepscheut, Jan L. A. Series: Lecture Notes in Computer Science. Num Pages: 440 pages, black & white illustrations. BIC Classification: UMN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 250 x 156 x 22. Weight in Grams: 1340.
The papers included in this volume were presented at the Conference on Mathematics of Program Construction held from June 26 to 30, 1989. The conference was organized by the Department of Computing Science, Groningen University, The Netherlands, at the occasion of the University's 375th anniversary. The creative inspiration of the modern computer has led to the development of new mathematics, the mathematics of program construction. Initially concerned with the posterior verification of computer programs, the mathematics have now matured to the point where they are actively being used for the discovery of elegant solutions to new programming problems. Initially concerned ... Read more
The papers included in this volume were presented at the Conference on Mathematics of Program Construction held from June 26 to 30, 1989. The conference was organized by the Department of Computing Science, Groningen University, The Netherlands, at the occasion of the University's 375th anniversary. The creative inspiration of the modern computer has led to the development of new mathematics, the mathematics of program construction. Initially concerned with the posterior verification of computer programs, the mathematics have now matured to the point where they are actively being used for the discovery of elegant solutions to new programming problems. Initially concerned ... Read more
Product Details
Format
Paperback
Publication date
1989
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
440
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
428
Place of Publication
Berlin, Germany
ISBN
9783540513056
SKU
V9783540513056
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Mathematics of Program Construction