tla.md

Bookmarks tagged [tla]

^{www.codever.land/bookmarks/t/tla}

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

^{http://research.microsoft.com/en-us/um/people/lamport/tla/book.html}

Leslie Lamport (Postscript or PDF)

• tags: free-programming-books, tla

---