Logic in Computer Science: Modelling and Reasoning about Systems

by: Michael Huth · Mark Ryan

Hardcover

ISBN: 978-0-521-83536-7

ISBN-10: 0-521-83536-4

Cambridge University Press · 2007

See also:
2012Printed Access CodeLogic in Computer Science: Modelling and Reasoning about Systems
2004PaperbackLogic in Computer Science: Modelling and Reasoning about Systems
1999PaperbackLogic in Computer Science: Modelling and Reasoning about Systems
1999HardcoverLogic in Computer Science: Modelling and Reasoning about Systems