Title: Design Methods for Digital Systems
Subjects: Computer science, Switching theory, Algebra, boolean, Sequential machine theory