Leslie Lamport

Add to favorites

Author

Leslie Lamport

Wikipedia: Leslie Lamport

Share on Twitter

Welcome to Boeklezers.nl

Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».

Specifying Systems

Specifying Systems
The TLA+ Language and Tools for Hardware and Software Engineers »

Latex

Latex
This authoritative user's guide and reference manual for the LATEX computer typesetting system has been revised to document features now available in the new... »

The Latex Companionst

The Latex Companionst
A Complete Guide and Reference for Preparing, Illustrating, and Publishing Technical Documents, Revised Boxed Set »