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
• Physical Description: xviii, 387 p., tab., fig.
• Bibliography: Bibliography pp. 375-377
• ISBN: 0 521 65602 8