Difference between revisions of "Book/Practical TLA+"
Jump to navigation
Jump to search
(Created page with "{{cite book |title=Practical TLA+: Planning Driven Development |first1=Hillel |last1=Wayne |author-link=Hillel Wayne |location=local page |url= |date=2...") |
|||
| Line 5: | Line 5: | ||
|author-link=Hillel Wayne | |author-link=Hillel Wayne | ||
|location=[[Book/Practical TLA+|local page]] | |location=[[Book/Practical TLA+|local page]] | ||
|url= | |url=https://doi.org/10.1007/978-1-4842-3829-5 | ||
|date=2018 | |date=2018 | ||
|publisher=APress | |publisher=APress | ||
Latest revision as of 03:02, 13 June 2022
Wayne, Hillel (2018). Practical TLA+: Planning Driven Development. local page: APress. ISBN 978-1-4842-3828-8.