|Principled Programming (DateTree Press)|
|Wednesday, 10 May 2023|
This book, subtitled "Introduction to Coding in Any Imperative Language" is a methodology-oriented introduction to computer programming, concentrating on programming principles, not language features. To keep focus and avoid distraction, Tim Teitelbaum, Professor Emeritus of the Department of Computer Science, Cornell University limits his examples to a minimal programming language that is a subset of Java.
The book presents content to beginners that is often considered advanced, such as program state-spaces, specifications written in terms of preconditions and postconditions, loop invariants, data-structure invariants, loop variants, and programming by stepwise refinement. However, the book retains an introductory character by avoiding formalism, offering intuitive analogies, and providing elementary explanations.
Author: Tim Teitelbaum
For more Book Watch just click.
Book Watch is I Programmer's listing of new books and is compiled using publishers' publicity material. It is not to be read as a review where we provide an independent assessment. Some, but by no means all, of the books in Book Watch are eventually reviewed.
To have new titles included in Book Watch contact BookWatch@i-programmer.info