£41.32

Thinking About Programs (ACM Books)

Architecture & Microprocessors

Price data last checked 84 day(s) ago - refreshing...

View at Amazon

Price History & Forecast

Last 7 days • 7 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 7 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £41 (4 days, 57.1%)

Price range: £41 - £43

Price levels: 2 different prices over 7 days

Description

This book describes how to think about computer programs, and how to use mathematics as part of that thinking. Many books and online tutorials teach the basics of coding: the syntax of the language, and how to translate an algorithm into code. But how do you come up with that algorithm? And how can you be confident that the algorithm is correct? The first part of the book considers small programs that use a loop, and how to demonstrate their correctness using loop invariants. It also covers some algorithms and algorithmic techniques that every programmer should know. The second half of the book considers slightly larger programs. It teaches the basics of modularisation, splitting up a program into manageable chunks. It teaches about abstract datatypes, values within a program that can be treated as mathematical values: how to specify their behaviours formally; and how to treat them as abstract mathematical objects when programming. It also teaches how to use data structures to represent abstract datatypes, and what it means for such a representation to be correct. And it presents some abstract datatypes and data structures that every programmer should know. The book is aimed at those who want to obtain a better understanding of programs they work on, and so become better programmers. The target audience ranges from those who are just starting out, to professional programmers. The book aims to be pragmatic: the philosophy is to include enough formality to be convincing and to guide the programmer towards correct code, without getting bogged down in the mathematics.

Product Specifications

Format: paperback
ASIN: B0FH9N5VQG
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 01 August 2025
Listed Since: 11 July 2025

Barcode

No barcode data available

Thinking About Programs (ACM Books)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Algorithmic Thinking: A Problem-Based Introduction

Introduction to Computational Thinking: Problem Solving, Algorithms, Data Structures, and More

Mathematics in Programming

Beginning Ada Programming: From Novice to Professional

Julia - Bit by Bit: Programming for Beginners (Undergraduate Topics in Computer Science)

Programming in the 1990s: An Introduction to the Calculation of Programs (Monographs in Computer Science)

Reasoning About Program Transformations: Imperative Programming and Flow of Data

COMPUTER PROGRAMMING - AN ALGORITHMIC APPROACH: Algorithmic Programming

A Programming Approach to Computability (Monographs in Computer Science)

Programs as Diagrams: From Categorical Computability to Computable Categories (Theory and Applications of Computability)

Programming in Modula-2 (Monographs in Computer Science)

Essential Computer Science: A Programmer’s Guide to Foundational Concepts

Programs as Diagrams: From Categorical Computability to Computable Categories (Theory and Applications of Computability)

Programming Models for Parallel Computing (Scientific and Engineering Computation)

MIT Press How to Design Programs - 2nd Edition Textbook

Concurrent Programming: Algorithms, Principles, and Foundations

Computational Thinking: A Perspective on Computer Science

Concepts, Techniques and Models of Computer Programming (OIP) (The MIT Press)

Programming Languages: Principles and Paradigms (Undergraduate Topics in Computer Science)

Elementary Number Theory with Programming

Understanding Modelling and Programming

The Power of Algorithms: Inspiration and Examples in Everyday Life

Pascal at Work and Play: An Introduction to Computer Programming in Pascal

Verification of Sequential and Concurrent Programs (Texts in Computer Science)