Communiqués par Leslie Lamport

En stock chez iMusic Montrer les articles indisponibles

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)