Analysis for Computer Scientists: Foundations,