Books by Leslie Lamport

3 books

LaTeX: A Document Preparation System (2nd Edition)
Leslie Lamport
Similar Novels Related Stories
LATEX: A Document Preparation System: User's Guide and Reference Manual
Leslie Lamport
Similar Novels Related Stories
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Leslie Lamport
Similar Novels Related Stories