![]() |
current edition
You can download the book right here. It is 253 pages.
symbols solutions to exercises pages 234 through 246 (laws etc.) for printing 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 |