کتاب های Leslie Lamport
درباره نویسنده
Distributed Operating Systems: Theory and Practice
Leslie Lamport (auth.), Yakup Paker, Jean-Pierre Banatre, Müslim Bozyiğit (eds.), 1987
LaTeX, a document preparation system
Leslie Lamport, 1994
LaTeX: A Document Preparation System
Leslie Lamport, 1994
LaTeX: a document-preparation system
Leslie Lamport, 1994
Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings
Martín Abadi, Leslie Lamport (auth.), J. W. de Bakker, C. Huizing, W. P. de Roever, G. Rozenberg (eds.), 1992
Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings
Martín Abadi, Leslie Lamport (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.), 1990
Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings
Martín Abadi, Leslie Lamport, Pierre Wolper (auth.), Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Della Rocca (eds.), 1989
Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings
Martín Abadi, Leslie Lamport, Pierre Wolper (auth.), Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Della Rocca (eds.), 1989
LATEX : a document preparation system
Leslie Lamport, 1994
LaTeX: A Document Preparation System
Leslie Lamport, 1994
LaTeX: A Document Preparation System, Second Edition
Leslie Lamport, 1994
LaTeX: User's Guide and Reference Manual.A Document Preparation System
Leslie Lamport, 1994
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Leslie Lamport, 2002
