Being rigorous does not mean that something is a science. In the case of computing science, it is (in my opinion) clearly a branch of mathematics.