00475nam a22001097a 4500020002100000082001700021100002900038245006900067260004100136300003300177650015500210  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