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 -⭐.
 Specifying Systems Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
| 0 | 0 reads | |
 LATEX LATEX: A Document Preparation System: User's Guide and Reference Manual
| 0 | 0 reads | |
 Specifying systems
| 0 | 0 reads |