Logic in Computer Science: Modelling and Resoning about Systems
Huth, Michael
Logic in Computer Science: Modelling and Resoning about Systems - 2nd ed. - New York Cambridge Univesity Press 2005 - xiv, 427p.; 24 cm
9780521670896
005.1015113 / HUT
Logic in Computer Science: Modelling and Resoning about Systems - 2nd ed. - New York Cambridge Univesity Press 2005 - xiv, 427p.; 24 cm
9780521670896
005.1015113 / HUT