IIITV Library catalog

Normal view MARC view ISBD view

Huth, Michael

Logic in computer science Modelling and reasoning about systems / by Michael Huth - 2nd - New Delhi Cambridge University Press 2004 - 427 ill 25cm

English

ISBN: 9780521670890

Source: PB

Subjects--Index Terms: Computer science | Computer logic | Logic programming

Index Terms--Curriculum Objective: --CSE-IT

Dewey Class. No.: 005.1015113 / HUT

Print
Add to your cart (remove)
Save record
More searches