Title: Verification of Computer Codes in Computational Science and Engineering. Discrete Mathematics and Its Applications