You can download the book right here. It is 6+244 pages.
solutions to exercises are available to course instructors
pages 231 through 243 (laws etc.) for printing
中文版 (Chinese version)
The course Formal Methods of Software Design based on the book is available online free. It includes lectures and transcripts.