Sell, buy or rent Leslie Lamport textbooks
LaTeX: A Document Preparation System
by
Leslie Lamport
ISBN-13: 9780201529838
ISBN-10: 0201529831
Edition: 2
Publication date: 1994
Publisher:
Addison-Wesley Professional
Format:
Paperback
272 pages
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
by
Leslie Lamport
ISBN-13: 9780321143068
ISBN-10: 032114306X
Edition: 1
Publication date: 2002
Publisher:
Addison-Wesley Professional
Format:
Paperback
384 pages
The Latex Document Preparation System: User's Guide & Reference Manual
by
Leslie Lamport
ISBN-13: 9780201157901
ISBN-10: 020115790X
Edition: Spi
Publication date: 1985
Publisher:
Addison-Wesley
Format:
Paperback
258 pages