00543nam a22001457a 4500 0521670896 (pbk) 005.131 HUT Huth, Michael Mark Ryan Logic in computer science modelling and reasoning about systems UK Cambridge University Press 2004 xiv, 427 p. : ill. ; 25 cm Computer science Mathematical induction Programming language Logic engineering Patterns Computer logic and design Binary Decision Diagrams FC BK 0 0 0 0 RIU RIU 2012-06-06 Purchased: Saeed Book Bank 711.00 0 005.131 HUT 5854 2012-06-06 00:00:00 1 2012-06-06 BK 877 877