Books

Home

Semantics and Algorithms

1. "Foundations for Programming Languages MIT". John C. Mitchell. Press September 1996.
2. "Modern Compiler Implementation in Java,ML, C". Three volumes by Andrew W. Appel. Cambridge University Press ,1997.
3. "A Theory of Objects". M. Abadi ; L. Cardelli. Springer 1996.
4. "The Temporal logic of reactive and concurrent systems : Volume 2: Verification". Zohar Manna, Amir Pnueli.
5. "The B-Book. Assigning Programs to Meanings". J-R Abrial. Cambridge University Press, 1996.
6. "ALGORITHMS". Robert Sedgewick.

Programming Languages

1. Books on Java
2. A free book on Java
3. "Java in a Nutshell" from O'Reilly & Associates
4. "The Java virtual machine specification". Tim Lindholm, Frank Yellin.

Protocols

1. TCP/IP Illustrated, Volume 1, The Protocols. W. Richard Stevens.
2. TCP/IP Illustrated, Volume 2, The Implementation. Gary R. Wright and W. Richard Stevens.