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.

<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 

princprog

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.

 

 

Banner


Beginning Flutter (Wrox)

Author: Marco L. Napoli
Publisher: Wrox
Pages: 528
ISBN: 9781119550853
Print: 1119550823
Kindle: B07YCVJW2D
Audience: Mobile developers
Rating: 4.5
Reviewer: Sanjay Kanade

Flutter is Google's SDK for writing mobile apps using the Dart language. It needs a good book - does this on [ ... ]



Learn dbatools in a Month of Lunches

Author: Chrissy LeMaire et al
Publisher: Manning
Pages: 400
ISBN: 978-1617296703
Print: 1617296708
Kindle: B0B39PCHL8
Audience: SQL Server DBAs
Rating: 5
Reviewer: Ian Stirk 

This book aims to make it easier to manage your SQL Server estate, how does it fare? 


More Reviews