Items related to The Spine of Software: Designing Provably Correct Software-T...
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.
"synopsis" may belong to another edition of this title.
Search results for The Spine of Software: Designing Provably Correct Software-T...
Stock Image
The Spine of Software: Designing Proveably Correct Software - Theory and Practice
Seller: AwesomeBooks, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good. The Spine of Software: Designing Proveably Correct Software - Theory and Practice 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-9780471914747
Buy Used
US$ 11.77
US$ 5.46 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
The Spine of Software : Designing Provably Correct Software-Theory and Practice
Published by
Wiley & Sons, Incorporated, John, 1988
ISBN 10: 0471914746
ISBN 13: 9780471914747
Used
Hardcover
Seller: Better World Books: West, Reno, NV, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # 56062695-20
Stock Image
The Spine of Software: Designing Proveably Correct Software - Theory and Practice
Published by
Wiley?Blackwell 25/11/1987, 1987
ISBN 10: 0471914746
ISBN 13: 9780471914747
Used
Hardcover
Seller: Bahamut Media, Reading, United Kingdom
Seller rating 4 out of 5 stars
Hardcover. Condition: Very Good. Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee. Seller Inventory # 6545-9780471914747
Buy Used
US$ 11.77
US$ 9.25 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available