Logic in Computer Science: Modelling and Reasoning about Systems
Huth, Michael.
Logic in Computer Science: Modelling and Reasoning about Systems - 2/e - New Delhi Cambridge University Press 2018 - xiv, 427p.
9780521670890
Computer logic
005.101 / Hut
Logic in Computer Science: Modelling and Reasoning about Systems - 2/e - New Delhi Cambridge University Press 2018 - xiv, 427p.
9780521670890
Computer logic
005.101 / Hut