Logic in computer science : modelling and reasoning about systems /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Huth, Michael, 1962- (συγγραφέας)
Άλλοι συγγραφείς: Ryan, Mark, 1962- (συγγραφέας)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Cambridge : Cambridge University Press, c2004.
Θέματα:
Search Result 1
ανά Huth, Michael, 1962-, Ryan, Mark, 1962-
Έκδοση 2000
Βιβλίο