Logic in computer: modelling and reasoning about systems.
Medium
Text
ISBN
9780521656023
Class
005.101513 HUT
Fict/Non
Non Fiction
Authors
Huth, Michael R. A.
Imprint
Cambridge University Press: Cambridge: 2000
Value
23.90
Keywords
Copies
L03707 - Available, Located: Main Collection( ) /, Type: Ordinary