Huth, Michael

Logic in Computer Science : Modelling and reasoning about systems v.I - 2nd. - Cambridge Cambridge University Press 2005 - 427p.

9780521670890


Logic-Computer
Computer Science

519.67 / HUT-L

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/