Logic in Computer Science: Modelling and Reasoning about Systems
Huth, Michael
Logic in Computer Science: Modelling and Reasoning about Systems - Cambridge Cambridge University Press 2004 - xiv, 427 p. ; 24 cm
9780521670890
Computer Science
005.1015113 / HUT
Logic in Computer Science: Modelling and Reasoning about Systems - Cambridge Cambridge University Press 2004 - xiv, 427 p. ; 24 cm
9780521670890
Computer Science
005.1015113 / HUT