书名：如何使用TLA+语言描述系统

原著：Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers by Leslie Lamport.

Issues with asciidoctor-mathematical

• This issue with asciidoctor-mathematical would lead to an error when latexmath stems occurs in table cells. A quick fix is suggested in the discussion of this issue.

• Latexmath stems are not rendered in table headers.

Precompiled versions

• HTML

License

This work is licensed under a Creative Commons Attribution 4.0 International License.

Copyrights

Copyright © 2020 Fei Niu

Copyright © 2002 Pearson Education Inc.