Este libro explica cómo utilizar los modelos matemáticos y aquellos necesarios para analizar los problemas que puedan surgir durante el estudio de las Ciencias de la Computación. Las pruebas juegan un papel central en este trabajo debido a que los autores, al igual que la mayoría de los matemáticos, comparten la creencia de que las pruebas son esenciales para una comprensión completa de lo que se estudia. Dichas pruebas no solo están presentes a día de hoy en el estudio sino que se utilizan para certificar que tanto el software como el hardware se comportan siempre correctamente.

Eric Lehman, uno de los ingenieros Google con más renombre, dirige esta completa obra junto con los profesores eméritos del MIT F Thomson Leighton y Albert R Meyer. A través de sus páginas, se analizará de forma didáctica cómo aplicar las matemáticas dentro de los diversos áreas que componen las Ciencias de la Computación.

Una obra imprescindible de referencia completamente actualizada imprescindible para estudiantes, investigadores y autodidactas.