Download Specifying Systems pdf, This book includes following topics: A Little Simple Math, Specifying a Simple Clock, An Asynchronous Interface, A FIFO, A Caching Memory, Some More Math, Writing a Specification: Some Advice, Liveness and Fairness, Real Time, Composing Specifications, Advanced Examples, The Syntactic Analyzer, The TLATEX Typesetter, The TLC Model Checker, The TLA+ Language, The Syntax of TLA+, The Operators of TLA+, The Meaning of a Module, The Standard Modules. Download the pdf from below to explore all topics and start learning.