Logic in Computer Science
Subtitle: Modelling and Reasoning about Systems
Edition: 2 edition
Publisher: Cambridge University Press
Language: eng
Format: Hardcover
ISBN-13: 9780521835367
Subjects: Computers; General; Computers / Programming / Software Development