Leslie Lamport
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 -⭐.
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 -⭐.
