Logic in computer science Modelling and reasoning about systems

• Κύριοι συγγραφείς: Huth, Michael, 1962- (Συγγραφέας), Ryan, Mark, 1962- (Συγγραφέας)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: New York Cambridge 2000
• Θέματα: COMPUTER LOGIC