Releases von Leslie Lamport

Auf Lager bei iMusic Nicht verfügbare Artikel anzeigen

Cover for Leslie Lamport · A Science of Concurrent Programs (Gebundenes Buch) (2026)

Gebundenes Buch

A Science of Concurrent Programs (2026)

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

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

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

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