modelling and reasoning about systems Huth, Michael Mark Ryan creator text UK Cambridge University Press 2004 monographic xiv, 427 p. : ill. ; 25 cm Computer science Mathematical induction Programming language Logic engineering Patterns Computer logic and design Binary Decision Diagrams FC 005.131 HUT 0521670896 (pbk)