TY - BOOK AU - Hanes, William, TI - Mathematical foundations of computer science SN - 9789395431972 AV - QA 267 .H36 2024 PY - 2024/// CY - New Delhi PB - Venus Books KW - Machine theory KW - Formal languages KW - Algorithms N1 - Includes bibliographical references and index ER -