Cover Image
Read Now

1
by O’Regan, Gerard
Published 2020
Springer International Publishing
Table of Contents: “... -- Mathematical Induction and Recursion -- Graph Theory -- Cryptography -- Coding Theory -- Language Theory...”
Cover Image
Read Now

2
by O’Regan, Gerard
Published 2013
Springer London
Table of Contents: “... -- Formal Methods -- Z Formal Specification Language -- Number Theory -- Cryptography -- Coding Theory...”