digital logic and programming in c book