Udgivelser med Leslie Lamport

På lager hos iMusic Vis udgåede udgivelser

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

A Science of Concurrent Programs (2026)

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

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

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

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