LOGIC IN COMPUTER SCIENCE : MODELLING & REASONING by - HUTH , MICHAEL, RYAN, MARK
Edition: IInd
Material type:
Text; Format:
print
; Literary form:
Not fiction
Publication details: UNIVERSITY PRESS
Availability: Items available for loan: RCERT Library (1).