LOGIC IN COMPUTER SCIENCE: MODELLING AND REASONING ABOUT SYSTEMS

RYAN MARK

LOGIC IN COMPUTER SCIENCE: MODELLING AND REASONING ABOUT SYSTEMS - NEW DELHI CUP 2004 - XIV, 427P

9780521670890

005.101

Central Library, SRM Institute of Science and Technology, Delhi-NCR Campus, Delhi-Meerut Road, Modi Nagar, Ghaziabad, Uttar Pradesh-201204 (India)