Difference between revisions of "Book/Specifying Systems"
Jump to navigation
Jump to search
(Created page with "{{cite book |title=Specifying Systems |first=Leslie |last=Lamport |url=https://lamport.azurewebsites.net/tla/book.html |date=2020 |publisher=Microsoft Research }}") |
|||
| Line 7: | Line 7: | ||
|publisher=Microsoft Research | |publisher=Microsoft Research | ||
}} | }} | ||
<noinclude> | |||
{{:Specifying Systems}} | |||
</noinclude> | |||
Revision as of 09:12, 25 July 2021
Lamport, Leslie (2020). Specifying Systems. Microsoft Research.
Specifying Systems is a book[1] by Leslie Lamport. It is an online book, with downloadable PDF copy. This book is bundled with a website: Learning TLA+and video course on TLA+, a system specification tool described in the book.
- ↑ Lamport, Leslie (2020). Specifying Systems. Microsoft Research.