current edition
The book is here. It is 253 pages.
Contents
- Introduction
- Basic Theories
- Basic Data Structures
- Function Theory
- Program Theory
- Programming Language
- Recursive Definition
- Theory Design and Implementation
- Concurrency
- Interaction
- Exercises
- Reference
symbols
pages 234 through 246 (laws etc.) for printing
solutions to exercises
change log
中文版 (Chinese 2018 version)
The course
Formal Methods of Software Design based on the book is
available online free. It includes lectures and transcripts.
author's website