Difference between revisions of "Specifying Systems"
Jump to navigation
Jump to search
(Created page with "[https://lamport.azurewebsites.net/tla/book.html Specifying Systems] is a book by Leslie Lamport.") |
|||
| Line 1: | Line 1: | ||
[https://lamport.azurewebsites.net/tla/book.html Specifying Systems] is a book by [[Leslie Lamport]]. | [https://lamport.azurewebsites.net/tla/book.html Specifying Systems] is a book by [[Leslie Lamport]]. | ||
[[Category:Book]] | |||
Revision as of 14:33, 28 June 2021
Specifying Systems is a book by Leslie Lamport.