Logic in computer science Modelling and reasoning about systems

• Main Authors: Huth, Michael, 1962- (Author), Ryan, Mark, 1962- (Author)
• Format: Book
• Language: English
• Published: New York Cambridge 2000
• Subjects: COMPUTER LOGIC