Logic in Computer Science
Subtitle: Modelling and Reasoning about Systems
Publisher: Cambridge University Press
Published: January 2000
Language: eng
Format: Hardcover
Number of pages: 405
ISBN-13: 9780521652001
Subjects: Mathematical theory of computation; Computers - General Information; Computer Logic; Computers; Computer Bks - General Information; Computer Books: General; General; Computer Science; Logic Design; Computers / Programming / Software Development