Logic in computer science Modelling and reasoning about systems Michael Huth, Mark Ryan

Συντελεστής(ές):

Τύπος υλικού:

ΚείμενοΛεπτομέρειες δημοσίευσης: New York Cambridge 2000Περιγραφή: xviii, 387 p., tab., figISBN:

Θέμα(τα):

Ταξινόμηση DDC:

Αντίτυπα
Τύπος τεκμηρίου	Τρέχουσα βιβλιοθήκη	Συλλογή	Ταξιθετικός αριθμός	Αριθμός αντιτύπου	Κατάσταση	Ημερομηνία λήξης	Ραβδοκώδικας
Book [21]	ΒΚΠ - Πατρα Αποθήκη 2.1	Non-fiction	005.1 HUT (Περιήγηση στο ράφι(Άνοιγμα παρακάτω))	1	Διαθέσιμο		025000285499

Bibliography pp. 375-377

Κοινοποίηση