Lamport, Leslie.
Leslie Lamport
Lamport, Leslie, 1941-....
Lamport, Leslie 1924-....
למפורט, לזלי
VIAF ID: 44417132 ( Personal )
Permalink: http://viaf.org/viaf/44417132
Preferred Forms
- 200 _ | ‡a Lamport ‡b Leslie ‡f 1924-....
-
-
- 100 1 _ ‡a Lamport, Leslie
-
-
-
-
- 100 1 _ ‡a Lamport, Leslie
- 100 1 _ ‡a Lamport, Leslie
- 100 1 _ ‡a Lamport, Leslie
- 100 1 _ ‡a Lamport, Leslie
- 100 1 _ ‡a Lamport, Leslie, ‡d 1941-....
-
- 100 0 _ ‡a Leslie Lamport
-
4xx's: Alternate Name Forms (34)
Works
Title | Sources |
---|---|
Bunsho shori shisutemu LATEX 2 ipushiron | |
Interprocess communication. Final report for ONR Project N00014-84-C-0621 | |
LaTeX | |
LaTeX : a document preparation system : user's guide and reference manual | |
LATEX : system opracowywania dokumentów : podręcznik i przewodnik użytkownika | |
n85197221 | |
Specifying systems : the TLA+ language and tools for hardware and software engineers |