Logic in Computer Science Modelling and Reasoning about Systems
Huth Michael
creator
Ryan Mark
text
New Delhi
Cambridge Universities Press
2014
2
monographic
427
Computer Science
681.3 HUT
Logic in Computer Science Modelling and Reasoning about Systems
9780521670890