Difference between revisions of "Category:Specifying Systems"
Jump to navigation
Jump to search
(Created page with "Specifying Systems is a book by Leslie Lamport. Category:Book") |
|||
| Line 1: | Line 1: | ||
[[Specifying Systems]] is a book by [[Leslie Lamport]]. | [[Specifying Systems]] is a book<ref>{{:Specifying Systems}}</ref> by [[Leslie Lamport]]. | ||
=References= | |||
[[Category:Book]] | [[Category:Book]] | ||
Revision as of 14:44, 28 June 2021
Specifying Systems is a book[1] by Leslie Lamport.
References
- ↑ 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.
This category currently contains no pages or media.