IIITB Library

Your cart is empty.

Your search returned 2 results. Subscribe to this search

Unhighlight Highlight
|
1.
LaTeX: A document preparation system: Users guide and reference manual

by Lamport, L.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi Pearson Education 1994Availability: Items available for loan: [Call number: 686.22544536 LAM] (1).

Add to cart
2.
Specifying systems: The TLA language and tools for hardware and software engineers

by Lamport, L.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Boston Addison Wesley 2003Availability: Items available for reference: [Call number: 004.21 LAM (CR)] (1).

Add to cart

International Institute of Information Technology, Bangalore
26/C, Electronics City, Hosur Road,Bengaluru-560100 Contact Us
Koha & OPAC at IIITB deployed by Bhargav Sridhar & Team.

Powered by Koha