Difference between revisions of "Ns500:Specifying Systems"
Jump to navigation
Jump to search
imported>Benkoo m (Benkoo moved page Cite:Specifying Systems to BOOK:Specifying Systems) |
imported>Benkoo |
||
| Line 11: | Line 11: | ||
|isbn= | |isbn= | ||
}} | }} | ||
<noinclude> | |||
[[Category:Book]] | |||
</noinclude> | |||
Revision as of 09:26, 18 July 2021
Lamport, Leslie (26 January 2020). Specifying Systems:The TLA+ Language and Tools for Hardware and Software Engineers. Microsoft Research.