3 treff

Lamport Leslie
LATEX : a document preparation system
Leslie Lamport ; illustrations by Duane B...
Bok Engelsk 1986
LaTeX : a document preparation system : user's guide and reference manual
Leslie Lamport ; illustrations by Duane B...
Bok Engelsk 1994
Specifying systems : the TLA+ language and tools for hardware and software engineers
Leslie Lamport
Bok Engelsk 2002