Program Construction
Calculating Implementations from Specifications
Our rough guess is there are 80,000 words in this book.
At a pace averaging 250 words per minute, this book will take 5 hours and 20 minutes to read. With a half hour per day, this will take 11 days to read.
How long will it take you?
This book will take an estimated to read at a reading speed averaging words per minute. With 30 minutes per day, this will take to read.
Enter your reading speedYou can take one of our WPM reading speed tests to find your reading speed.
Create a free account to track your reading progress, build your reading list, and set reading goals.
Word Count
80,000 words, Guess
Page Count
320 pages
Identifiers
- Internet Archiveprogramconstruct00back
- ISBN-100470848820
- ISBN-139780470848821
- LibraryThing1109046
- Library of Congress Control Number2003006224
and 3 more
- Better World Books9780470848821
- Better World BooksKT-832-959
- Open LibraryOL7597949M
Classifications
- LCCQA76.6 .B29 2003
- LCCQA76.6
Description
Unique approach tackles what most books don't-why maths and logic are fundamental tools for a programmer This comprehensive guide is a balanced combination of mathematical theory and the practice of programming Straightforward presentation of construction principles inlcuding: assignment axiom, sequential composition, case analysis, use of invariants and bound functions Includes a wide range of entertaining and challenging examples and exercises
Subjects
Other Editions
- Program Construction
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!