Title: Mathematical methods in software science and engineering
Subjects: Computer software