3 treff

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

Vis hos Tibi
LATEX : a document preparation system
Leslie Lamport ; illustrations by Duane B...
Bok Engelsk 1986