Logic in Computer Science: Modelling and Reasoning about Systems

Logic in Computer Science: Modelling and Reasoning about Systems
Logic in Computer Science: Modelling and Reasoning about Systems
ISBN 13: 9780521652001
ISBN: 0521652006
Publisher: Cambridge University Press
Format: Hardcover (405 pages)
Released: Jun 16th, 2025
Sell This Book