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.

<ASIN:B0BZF8R467>

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
Publisher: DateTree Press
Date: March 2023
Pages: 429
ISBN: 978-8987744109
Print: B0BZF8R467
Audience: General
Level: Introductory
Category: Methodology 

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

Follow @bookwatchiprog on Twitter or subscribe to I Programmer's Books RSS feed for each day's new addition to Book Watch and for new reviews.