00666nam a22001457a 4500020002100000082001700021100002900038245006900067260004100136300003300177650015500210942000700365952013500372999001300507  a0521670896 (pbk)  a005.131bHUT  aHuth, MichaelaMark Ryan  aLogic in computer sciencebmodelling and reasoning about systems  aUKbCambridge University Pressc2004  axiv, 427 p.b: ill.c; 25 cm  aComputer scienceaMathematical inductionvProgramming language  vLogic engineeringvPatternsvComputer logic and designvBinary Decision DiagramsvFC  cBK  00104070aRIUbRIUd2012-06-06ePurchased: Saeed Book Bankg711.00l0o005.131 HUTp5854r2012-06-06 00:00:00t1w2012-06-06yBK  c877d877