The Spine of Software : Designing Provably Correct Software : Theory and Practice - Or, a Mathematical Introduction to the Semantics of Computer Programs

Baber, Robert L.

ISBN 10: 0471914746 ISBN 13: 9780471914747
Published by John Wiley & Sons, Ltd, Chichester, New York, Brisbane, Toronto, Singapore, 1987
Used Boards

From Kuenzig Books ( ABAA / ILAB ), Topsfield, MA, U.S.A. Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

AbeBooks Seller since June 21, 1998

Association Member:
This specific item is no longer available.

About this Item

Description:

First Edition. xi, 316 pages. 8vo. Publisher's green printed boards. Sun fading to the covers, bumped corners. Marked "baber" on the bottom page edges as Prof. Verzuh typically did in his library, and has a collection of book reviews and clippings laid in at rear. Also includes several of the authors personal stickers, one affixed to the title pag, another to the endpaper and and several laid in. Boards. An association copy with author's "with compliments" card taped in, and inscription "Dear Edna and Frank. Happy reading. I hope you like it. Are you planning to attend IFIP '89 in San Francisco? Hjaitliga Halsnisgar, Bob" Also inscribed on the half title page "For Frank Verzuh, who started me off on the path which led to this book, with many thanks, Bob 1988 March 21". Frank is Frank Verzuh, a computer pioneer at MIT who worked on MIT's Rapid Arithmetic machine among other things. Seller Inventory # 10345

Report this item

Synopsis:

Every engineering field is founded on a body of fundamental scientific and mathematical principles providing a basis for the design process and enabling designers to systematically validate the major characteristics of a proposed system. In recent years, computing science has generated a similar body of principles allowing software engineers to design error-free programs. This book presents this core of knowledge. The concepts covered are based on the view that a variable is a triple of a name, a set, and an element of that set (a value); that a data environment (the execution) of a program is a sequence of variables; and that a statement, subprogram, or program serves to map a data environment into another data environment. While the material is treated in a mathematically rigorous fashion, it is carefully written to show software developers how to apply theory to practical design tasks.

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

Bibliographic Details

Title: The Spine of Software : Designing Provably ...
Publisher: John Wiley & Sons, Ltd, Chichester, New York, Brisbane, Toronto, Singapore
Publication Date: 1987
Binding: Boards
Condition: Good
Signed: Signed by Author(s)
Edition: First Edition.

Top Search Results from the AbeBooks Marketplace

Stock Image

Baber, Robert L."
Published by Wiley, 1988
ISBN 10: 0471914746 ISBN 13: 9780471914747
New Hardcover First Edition

Seller: BooksByLisa, Highland Park, IL, U.S.A.

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

Hardcover. Condition: New. Dust Jacket Condition: New. First Edition. PHOTO AND VIDEO OF PAGES TAKEN TO SHOW CONDITION PRIOR TO SHIPPING; . PHOTOS EMAILED FOR MORE SPECIFICS WHEN REQUESTED; Book. Seller Inventory # 272

Contact seller

Buy New

US$ 24.85
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Robert L. Baber
Published by John Wiley & Sons Ltd, 1987
ISBN 10: 0471914746 ISBN 13: 9780471914747
Used Hardcover

Seller: Ammareal, Morangis, France

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

Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Couverture différente. Edition 1987. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Different cover. Edition 1987. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # D-485-971

Contact seller

Buy Used

US$ 39.37
Convert currency
Shipping: US$ 9.86
From France to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket