Η αναζήτηση επέστρεψε 3 αποτελέσματα.

Ταξινόμηση
Αποτελέσματα
1.
Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten. από
  • Dijkstra, Edsger Wybe [συγγραφέας]
  • Scholten, Carel S [συγγραφέας]
Σειρά: Texts and monographs in computer science
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: New York : Springer, c1990
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 DIJ.
2.
A method of programming από
  • Dijkstra, Edsger Wybe [aut]
  • Feijen, W [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Wokingham England Addison-Wesley c1988
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.1 DIJ.
3.
A method of programming Edsger W. Dijkstra, W. H. J. Feijen ; translated by Joke Sterringa από
  • Dijkstra, Edsger Wybe
  • Sterringa, Joke [trl]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Wokingham Addison-Wesley 1988
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Φυσικό (1)Ταξιθετικός αριθμός: 005.1 DIJ.
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud