My Library

References Collection

SFU Library

Dictionaries (Online - SFU)

Oxford English Dictionary. Oxford University Press. Online: SFU library.
Encyclopaedia Britannica / Merriam-Webster's Dictionary. Online: SFU library.
Encyclopaedia Universalis. SFU record.

Software Engineering

Ian Sommerville. Software Engineering. Pearson, 2006. Online: author, publisher.
Roger S. Pressman. Software Engineering: A Practitioner's Approach. McGraw-Hill, 2004. Online: publisher, ToC.
Carlo Ghezzi, Dino Mandrioli, Mehdi Jazayeri. Fundamentals of Software Engineering. Prentice Hall, 2002. SFU record.
Frederick P. Brooks. The Mythical Man-Month: Essays on Software Engineering. Addison-Wesley, 1995. Online: Safari, SFU library.
Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995. SFU record.
Martin Fowler. Refactoring: Improving the Design of Existing Code. Addison-Wesley, 2000. Online: author, Safari, SFU library.
Kent Beck. Extreme Programming Explained: Embrace Change. Addison-Wesley, 1999. Online: Safari, SFU library, Agile Manifesto.
Grady Booch, James Rumbaugh, Ivar Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, 1999. Online: Safari, SFU library.
James Rumbaugh, Ivar Jacobson, Grady Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, 1999. Online: Safari, SFU library.
Martin Fowler. UML distilled: applying the standard object modeling language. Addison-Wesley, 2004. Online: Safari, SFU library.
Gerard J. Holzmann. The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, 2003. Online: Safari, SFU library.
Flemming Nielson, Hanne Riis Nielson, Chris Hankin. Principles of Program Analysis. Springer, 2005. SFU record.
Manfred Broy, Ernst Denert. Software Pioneers: Contributions to Software Engineering. Springer, 2002. SFU record.

Programming Languages

Alfred V. Aho, Monica S. Lam, Ravi Sethi, Jeffrey D. Ullman. Compilers: Principles, Techniques, & Tools. Addison-Wesley, 2007. SFU record.
Joshua B. Smith. Practical OCaml. Apress, 2006.

Tools

Gerard J. Holzmann. The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, 2003. Online: Safari, SFU library.
Frank Mittelbach. The LaTeX companion. Addison-Wesley, 2004. SFU record.

Miscellaneous - From SFU Library

Alfred V. Aho, Jeffrey D. Ullman. Foundations of computer science. Computer Science Press, 1995. SFU record.
C. C. Chang and H. J. Keisler. Model Theory. North-Holland, 3rd edition, 1990. SFU record.
Z. Manna and A. Pnueli. Temporal verification of reactive systems: Safety. Springer, 1995. SFU record.
A. Schrijver. Theory of Linear and Integer Programming. Wiley, 1986. SFU record.
E. M. Clarke, O. Grumberg and D. Peled. Model Checking. MIT Press, 2000. SFU record.
B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen. Systems and Software Verification: Model-Checking Techniques and Tools. Vuibert, 1999. SFU record.
Michael R. A. Huth, Mark D. Ryan. Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge University Press, 2000. SFU record.
Flemming Nielson, Hanne Riis Nielson, Chris Hankin. Principles of Program Analysis. Springer, 2005. SFU record.
Glenford J. Myers. The Art of Software Testing. Wiley, 2004. SFU record.
Andy Oram and Greg Wilson. Beautiful code. O'Reilly, 2007. SFU record.

Author: Dirk Beyer.