• Bibliografía

    Especificación

    • José Luis Balcazar, Programación Metódica, McGraw-Hill, 1993. (En Biblioteca Central)
    • Barbara Liskov y John Guttag, Abstraction and Specification in Software Development, MIT Press, 1986.
    • Bertrand Meyer, Object Oriented Software Construction, Prentice Hall, 1997. (En Biblioteca Central)
    • Ricardo Peña Marí, Diseño de Programas, Formalismo y Abstracción Prentice Hall, 1998.

    Estructuras de Datos y Algorítmica

    • Thomas Cormen, Charles Leiserson, Ronald Rivest y Clifford Stein (eds.),Introduction to Algorithms, Third Edition, MIT Press, 2009.
    • Alfred Aho, John Hopcroft y Jeffrey Ullman, Data Structures and Algorithms, Addison Wesley, 1987. (En Infoteca)
    • Robert Tarjan, Data Structures and Network Algorithms, SIAM, 1983. (En Biblioteca Central)

    Programación en C++

    • Bjarne Stroustrup, The C++ Programming Language, Forth Edition, Addison-Wesley, 2013.
    • Bjarne Stroustrup, Programming: principles and practice using C++, Pearson Education, 2014.
    • Bjarne Stroustrup, A Tour of C++, Pearson Education, 2013.
    • Stanley B. Lippman, Josée Lajoie, y Barbara E. Moo, C++ Primer, Fifth Edition, Addison Wesley, 2012.
    • Brian Kernighan y Rob Pike, La Práctica de la Programación, Prentice-Hall, 2000.