Leslie Lamport

Leslie Lamport

4 books in the database

Books

LATEXLeslie Lamport

Leslie Lamport · 1994

Specifying systemsLeslie Lamport

Specifying systems

Leslie Lamport · 2002

Latex CompanionsLeslie Lamport

Latex Companions

Leslie Lamport · 2001

Latex Document Preparation System UsersLeslie Lamport

Latex Document Preparation System Users

Leslie Lamport · 1985