TY - BOOK AU - Chinal,J. AU - Preston,A AU - Sumner,A. TI - Design methods for digital systems SN - 3540058710 : U1 - 512.89 PY - 1973/// CY - Berlin PB - Springer-Verlag KW - Switching theory KW - Sequential machine theory KW - Algebra, Boolean N1 - Includes bibliographical references and index ER -