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