Logic in computer science Modelling and reasoning about systems

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

ΒΚΠ - Πατρα: ALFe

Λεπτομέρειες τεκμηρίων από ΒΚΠ - Πατρα: ALFe
Ταξιθετικός Αριθμός: 005.1 HUT
Αντίγραφο 1 Στη βιβλιοθήκη