Introductory Logic and Formal Methods
Publisher: Alfred Waller
Published: April 1, 1994
Format: Paperback
Number of pages: 224
ISBN-13: 9781872474106
Subjects: Computer architecture & logic design; Mathematical theory of computation; Programming languages