Programming from Specifications

Morgan, Carroll

ISBN 10: 0131232746 / ISBN 13: 9780131232747

Published by Prentice Hall International (UK) Ltd., Hemel Hempstead, 1994

About this Item

Paperback in very good condition. Covers are sunned, with a light crease to the front upper corner. Edges and corners are slightly bumped and rubbed. Page block is a little blemished. Binding is sound and pages are clear. LW. Seller Inventory # 611094

Bibliographic Details

Title: Programming from Specifications

Publisher: Prentice Hall International (UK) Ltd., Hemel Hempstead

Publication Date: 1994

Binding: Paperback

Condition: Very Good

Edition: 2nd Edition

Book Type: Used

About this title

Synopsis:

Providing a thorough treatment of most elementary programme development techniques, this revised edition covers topics such as procedures, parameters, recursion and data refinement, with the integration of specification, development and coding, based on ordinary (classical) logic. This second edition features: substantial restructuring of earlier material, streamlining the introduction of programming language features; simplified presentation of procedures, parameters and recursion; an expanded chapter on data refinement, giving the much simpler laws that specialize to functional abstractions; a new chapter on recursive types (trees etc) and appropriate control structures; and, following the original concluding case study, two completely new ones: "the recursive treatment of the largest rectangle under a histogram", and a specification and extended developnent of an electronic mail system (including limited concurrency).