Releases med Leslie Lamport

På lager hos iMusic Vis utilgjengelige utgivelser

Cover for Leslie Lamport · A Science of Concurrent Programs (Innbunden bok) (2026)

A Science of Concurrent Programs (2026)

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

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

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

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