Logic in Computer Science Modelling and Reasoning about Systems
Huth Michael
Logic in Computer Science Modelling and Reasoning about Systems - 2 - New Delhi Cambridge Universities Press 2014 - 427 - Logic in Computer Science Modelling and Reasoning about Systems .
9780521670890
Computer Science
681.3 HUT
Logic in Computer Science Modelling and Reasoning about Systems - 2 - New Delhi Cambridge Universities Press 2014 - 427 - Logic in Computer Science Modelling and Reasoning about Systems .
9780521670890
Computer Science
681.3 HUT