Hardcover Book Paperback Book

In stock at iMusic

Show unavailable items

Releases by Leslie Lamport

Cover for Leslie Lamport · A Science of Concurrent Programs (Hardcover Book) (2026)

A Science of Concurrent Programs (2026)

Cover for Leslie Lamport · Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers (Paperback Book) (2002)

Specifying Systems: The TLA+ Lan... (2002)

Cover for Leslie Lamport · Latex: a Document Preparation System : User's Guide and Reference Manual (Paperback Book) [2 Rev edition] (1994)

Latex: a Document Preparation Sy... (1994)