Programming from Specifications

Carroll Morgan

ISBN 10: 0131232746 ISBN 13: 9780131232747
Published by Prentice Hall, 1994
Used Softcover

From Bookbot, Prague, Czech Republic Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

AbeBooks Seller since 7 October 2023

This specific item is no longer available.

About this Item

Description:

Spuren von Feuchtigkeit / Nässe; Aus Bibliothek aussortiert. Seller Inventory # 177edeca-c755-44bf-a02b-e877f7e70493

Report this item

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

"About this title" may belong to another edition of this title.

Bibliographic Details

Title: Programming from Specifications
Publisher: Prentice Hall
Publication Date: 1994
Binding: Softcover
Condition: Fair
Edition: 2nd Edition

Top Search Results from the AbeBooks Marketplace

Seller Image

Morgan, Carroll
ISBN 10: 0131232746 ISBN 13: 9780131232747
Used Paperback

Seller: PsychoBabel & Skoob Books, Didcot, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: Very Good. 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. Used. Seller Inventory # 611094

Contact seller

Buy Used

£ 32
£ 9.50 shipping
Ships from United Kingdom to U.S.A.

Quantity: 1 available

Add to basket

Stock Image

Morgan, Carroll
Published by Prentice Hall, 1994
ISBN 10: 0131232746 ISBN 13: 9780131232747
Used paperback

Seller: HPB-Red, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_409301687

Contact seller

Buy Used

£ 33.57
£ 2.80 shipping
Ships within U.S.A.

Quantity: 1 available

Add to basket

Stock Image

-
Published by - -, 1994
ISBN 10: 0131232746 ISBN 13: 9780131232747
Used Paperback

Seller: Bahamut Media, Reading, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: Very Good. This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. Seller Inventory # 6545-9780131232747

Contact seller

Buy Used

£ 72.86
£ 6.98 shipping
Ships from United Kingdom to U.S.A.

Quantity: 1 available

Add to basket

Stock Image

-
Published by -, 1994
ISBN 10: 0131232746 ISBN 13: 9780131232747
Used Paperback

Seller: AwesomeBooks, Wallingford, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: Very Good. Programming from Specifications (Prentice Hall Series in Computer Science) This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. Seller Inventory # 7719-9780131232747

Contact seller

Buy Used

£ 72.86
£ 4.99 shipping
Ships from United Kingdom to U.S.A.

Quantity: 2 available

Add to basket

Stock Image

Morgan, Carroll
Published by Prentice Hall, 1994
ISBN 10: 0131232746 ISBN 13: 9780131232747
Used Softcover

Seller: Anybook.com, Lincoln, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Poor. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In poor condition, suitable as a reading copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,600grams, ISBN:9780131232747. Seller Inventory # 9779744

Contact seller

Buy Used

£ 73.73
£ 25.04 shipping
Ships from United Kingdom to U.S.A.

Quantity: 1 available

Add to basket

Stock Image

Morgan, Carroll
Published by Prentice Hall, 1994
ISBN 10: 0131232746 ISBN 13: 9780131232747
Used Softcover

Seller: Anybook.com, Lincoln, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Poor. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In poor condition, suitable as a reading copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,600grams, ISBN:9780131232747. Seller Inventory # 9779746

Contact seller

Buy Used

£ 73.73
£ 25.04 shipping
Ships from United Kingdom to U.S.A.

Quantity: 1 available

Add to basket