|
Textbook
Program Construction: Calculating Implementations from SpecificationsISBN: 978-0-470-84882-1
Paperback
368 pages
May 2003, ©2003
 This is a Print-on-Demand title. It will be printed specifically to fill your order. Please allow an additional 10-15 days delivery time. The book is not returnable.
|
||||||
Preface.
A Science of Computing.
A Searching Problem and Its Solution.
Calculational Proof.
Implementation Issues.
Calculational Logic: Part 1.
Number Conversion.
Calculational Logic: Part 2.
Maximum and Minimum.
The Assignment Statement.
Sequential Composition and Conditional Statements.
Quantifiers.
Inductive Proofs and Constructions.
Iteration.
Sorting and Searching Algorithms.
Remainder Computation.
Cyclic Codes.
Appendix.
Solutions to Exercises.
References.
Glossary of Symbols.
Index.
Related Titles
General Programming & Software Development
Resources for
Instructors
Contact a Wiley Sales Rep
Find Your Rep
.png){kind=small}
Join An E-mail ListLearn about the latest products, events, offers and content. |
