Ebook: Specifying Systems

opqrst

下载地址
http://research.microsoft.com/users/lamport/tla/book.html

http://research.microsoft.com/users/lamport/tla/book-02-08-08.pdf

The Book
The book is 364 pages long (including a 17-page index).   However, most people will want to read only the first part, which comprises the first seven chapters and is 83 pages long.   Here is the list of chapters.

   1. A Little Simple Math
   2. Specifying a Simple Clock
   3. An Asynchronous Interface
   4. A FIFO
   5. A Caching Memory
   6. Some More Math
   7. Writing a Specification: Some Advice
   8. Liveness and Fairness
   9. Real Time
  10. Composing Specifications
  11. Advanced Examples
  12. The Syntactic Analyzer
  13. The TLATeX Typesetter
  14. The TLC Model Checker
  15. The Syntax of TLA+
  16. The Operators of TLA+
  17. The Meaning of a Module
  18. The Standard Modules

独孤鸟

好东西,应该看看,呵呵

frankqs

谢谢
分享！
赫赫！

alex_bai

(O_O)

好书，多谢分享