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 ...
Read More
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.
Read Less
Add this copy of The Spine of Software: Designing Provably Correct to cart. $35.74, new condition, Sold by Chidoc5 Rare Books rated 4.0 out of 5 stars, ships from Highland Park, IL, UNITED STATES, published 1988 by Wiley.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New in New dust jacket. 0471914746. PHOTO AND VIDEO OF PAGES TAKEN TO SHOW CONDITION PRIOR TO SHIPPING; . PHOTOS EMAILED FOR MORE SPECIFICS WHEN REQUESTED; Book.
Add this copy of The Spine of Software: Designing Provably Correct to cart. $44.54, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1988 by Wiley.
