Logic in computer science Modelling and reasoning about systems

• Κύριοι συγγραφείς: Huth, Michael, 1962- (Συγγραφέας), Ryan, Mark, 1962- (Συγγραφέας)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: New York Cambridge 2000
• Θέματα: COMPUTER LOGIC
• Φυσική περιγραφή: xviii, 387 p., tab., fig.
• Βιβλιογραφία: Bibliography pp. 375-377
• ISBN: 0 521 65602 8