Folha de rosto & Sumário - CADINF, Editores (Cadernos do IME - Série Informática, 2013)