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
Authors: Michael Huth - Mark Ryan
Publisher: Cambridge University Press
Format: Hardcover (405 pages)
Released: Dec 9th, 1999
Sell This Book  
We cannot find any offers for this book

Get an email when this book becomes available