Community
Follow Along
We're an Open Book
Home
Library
Explore
Trending
Search
Leslie Lamport has written at least 3 books. Their most popular book is Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers with 1 save with an average rating of -⭐.