Visit our Christmas Gift Finder
Click & Collect from 2 Hours*
Free Delivery to UK Shops
Free UK Standard Delivery On all orders £20 and over Free Delivery to UK Shops Local shops and expert booksellers nationwide Free Click & Collect to UK shops From 2 hours of your order*
The Design of Well-Structured and Correct Programs - Monographs in Computer Science (Paperback)
  • The Design of Well-Structured and Correct Programs - Monographs in Computer Science (Paperback)
zoom

The Design of Well-Structured and Correct Programs - Monographs in Computer Science (Paperback)

(author), (author)
£69.99
Paperback 292 Pages / Published: 23/10/2011
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
The major goal of this book is to present the techniques of top-down program design and verification of program correctness hand-in-hand. It thus aims to give readers a new way of looking at algorithms and their design, synthesizing ten years of research in the process. It provides many examples of program and proof development with the aid of a formal and informal treatment of Hoare's method of invariants. Modem widely accepted control structures and data structures are explained in detail, together with their formal definitions, as a basis for their use in the design of correct algorithms. We provide and apply proof rules for a wide range of program structures, including conditionals, loops, procedures and recur sion. We analyze situations in which the restricted use of gotos can be justified, providing a new approach to proof rules for such situations. We study several important techniques of data structuring, including arrays, files, records and linked structures. The secondary goal of this book is to teach the reader how to use the programming language Pascal. This is the first text to teach Pascal pro gramming in a fashion which not only includes advanced algorithms which operate on advanced data structures, but also provides the full axiomatic definition of Pascal due to Wirth and Hoare. Our approach to the language is very different from that of a conventional programming text.

Publisher: Springer-Verlag New York Inc.
ISBN: 9781461262749
Number of pages: 292
Weight: 474 g
Dimensions: 235 x 155 x 17 mm
Edition: Softcover reprint of the original 1st ed. 197

You may also be interested in...

Python For Dummies
Added to basket
£22.99
Paperback
Essential Scrum
Added to basket
£36.99
Paperback
Python 3 for Absolute Beginners
Added to basket
How to Build a Billion Dollar App
Added to basket
Design Patterns
Added to basket
£44.49
Hardback
Coding for Beginners in easy steps
Added to basket
JavaScript and JQuery
Added to basket
Effective Modern C++
Added to basket
Designing Data-Intensive Applications
Added to basket
Python Pocket Reference
Added to basket
Data Wrangling with Python
Added to basket
C++ For Dummies
Added to basket
£21.99
Paperback
SQL in Easy Steps
Added to basket
£10.99
Paperback
Code
Added to basket
£21.99
Paperback

Please sign in to write a review

Your review has been submitted successfully.