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

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

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.

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.