book Digital Systems Principles and Applications Revised Tocci hardcover 1980