TY - BOOK AU - Lala, Parag K. TI - Seilf-Checking and Fault-Tolerant Digital Design SN - 9780124343702 U1 - 621.395 PY - 2001/// CY - San Francisco PB - Morgan Kaufmann Publishers KW - Digital Design KW - Electronic Communication N1 - Includes Bibliographical references and Index ER -