Leslie Lamport

Identifiers

Open LibraryOL720767A
WikidataQ92613

Top Subjects

Computerized typesetting (1)
LaTeX (Computer file) (1)
Programming - Systems Analysis & Design (1)
Computers - Languages / Programming (1)
Computer Engineering (1)
Computers (1)
Logic (1)

Books by Leslie Lamport

Total count: 6

Latex Document Preparation System Users

Addison Wesley Publishing Co1985-10-01
LATEXa document preparation system

Addison-Wesley Pub. Co.1986-01-01
The LaTex CompanionsBasic, Advanced, Graphics, Web

Pearson Education2001-12-17
Specifying SystemsThe TLA+ Language and Tools for Hardware and Software Engineers1st edition

Addison-Wesley Professional2002-07-19
Marketing Insert for the LaTeX Companions Boxed Set

Pearson Education, Limited2004-01-01
Empty Box for the LaTeX Companions Boxed Set

Pearson Education, Limited2005-01-01