Normal view MARC view ISBD view

Logic in Computer Science : Modelling and reasoning about systems v.I

By: Huth, Michael.
Contributor(s): Ryan, M.
Material type: materialTypeLabelBookPublisher: Cambridge Cambridge University Press 2005Edition: 2nd.Description: 427p.ISBN: 9780521670890.Subject(s): Logic-Computer | Computer ScienceDDC classification: 519.67
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
Item type Current location Call number Status Date due Barcode
Books Books Catalogued 519.67 HUT-L (Browse shelf) Available 25185

There are no comments for this item.

Log in to your account to post a comment.

Jivesna TechContact Us
ICAR-Indian Agricultural Statistics Research Institute
Library Avenue, Pusa Road, New Delhi-110012
Tel Nos: +91-11-25847121-24, 25841254(PBX), Fax: +91-11-25841564
Email: library.iasri@icar.gov.in ; Website: http://iasri.res.in/