Εικόνα εξωφύλλου από Amazon
Εξώφυλλο από Amazon.com
Κανονική προβολή Προβολή MARC Προβολή ISBD

Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten.

Κατά: Συντελεστής(ές): Τύπος υλικού: ΚείμενοΚείμενοΣειρά: Texts and monographs in computer scienceΛεπτομέρειες δημοσίευσης: New York : Springer, c1990.Περιγραφή: x, 220 σ. : εικ. ; 25 εκISBN:
  • 0387969578
Θέμα(τα): Ταξινόμηση DDC:
  • 511.3
Αντίτυπα
Τύπος τεκμηρίου Τρέχουσα βιβλιοθήκη Συλλογή Ταξιθετικός αριθμός Αριθμός αντιτύπου Κατάσταση Ημερομηνία λήξης Ραβδοκώδικας
Book [21] Book [21] ΒΚΠ - Πατρα Αποθήκη 2.1 Non-fiction 511.3 DIJ (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) 1 Διαθέσιμο 025000282166

Περιλαμβάνει ευρετήριο.

Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud