current edition

The book is here. It is 254 pages.

Contents

  1. Introduction
  2. Basic Theories
  3. Basic Data Structures
  4. Function Theory
  5. Program Theory
  6. Programming Language
  7. Recursive Definition
  8. Theory Design and Implementation
  9. Concurrency
  10. Interaction
  11. Exercises
  12. Reference

symbols
pages 235 through 247 (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