|
|
Sold Out
Book Categories |
Contents: Introducing Top-down Design.- Basic Compositions of Actions and Their Proof Rules.- Data Types.- Developing Programs with Proofs of Correctness.- Procedures and Functions.- Recursion.- Programming with and without Gotos.- References.- Glossary.- Appendixes.- Index of Algorithms.- Author Index.- Subject Index.
| Price | Condition | Delivery | Seller | Action |
| $99.99 | Digital |
| WonderClub |
halil guner
reviewed The design of well-structured and correct programs on January 28, 2013
The design of well-structured and correct programs
An introduction to several strands of mathematics and computer science which have parallels in nature and biology. The topics covered include:
+ Gödel's Incompleteness Theorem
+ Fractals
+ Chaos
+ Cellular Automata
+ Genetic Algorithms
Because of the breadth of topics, the subject matter is sometimes treated fairly lightly. Although this sort of introductory treatment was exactly what I wanted, I occasionaly found the explanations to be too hand-wavy, especially some of the philosophical asides.
Nevertheless, I enjoyed reading this book very much. It's probably the only book that combines all of these topics into one comprehensive volume.
The book has its own website with source code for the programs used to investigate the various subjects.
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish List
X
This item is in your Collection
The design of well-structured and correct programs
X
This Item is in Your Inventory
The design of well-structured and correct programs
X
You must be logged in to review the productsX
X
X
Add The design of well-structured and correct programs, This text synthesizes ten years of research in top-down program design and verification of program correctness. It shows how these techniques may be used in day-to-day programming with the PASCAL language. Many examples of programs and proof development, , The design of well-structured and correct programs to the inventory that you are selling on WonderClubX
X
Add The design of well-structured and correct programs, This text synthesizes ten years of research in top-down program design and verification of program correctness. It shows how these techniques may be used in day-to-day programming with the PASCAL language. Many examples of programs and proof development, , The design of well-structured and correct programs to your collection on WonderClub |