Estantes Virtuales
Estantes
Programas
TítuloAutorLugarEdicíon
Introduction to the theory of complexity Bovet, Daniel Pierre Nueva York (c1994)
Verification of sequential and concurrent programs Apt, Krsysztof R. Nueva York 2nd ed.   (c1997)