Difference between revisions of "Ns500:Specifying Systems"
Jump to navigation
Jump to search
imported>Benkoo |
imported>Benkoo |
||
| Line 13: | Line 13: | ||
<noinclude> | <noinclude> | ||
{{#Widget:Iframe | |||
|url=https://lamport.azurewebsites.net/tla/book-21-07-04.pdf | |||
|width=960 | |||
|height=800 | |||
}} | |||
[[Category:Book]] | [[Category:Book]] | ||
</noinclude> | </noinclude> | ||
Latest revision as of 09:28, 18 July 2021
Lamport, Leslie (26 January 2020). Specifying Systems:The TLA+ Language and Tools for Hardware and Software Engineers. Microsoft Research.