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

Αποτελέσματα
	1.	Foundations for programming languages John C. Mitchell από Mitchell, John C Σειρά: Foundations of computing Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge, Mass. MIT Press 1996 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 005.131 M, ... Προσθήκη στο καλάθι (αφαίρεση)
	2.	The formal semantics of programming languages an introduction Glynn Winskel από Winskel, G. (Glynn) Σειρά: Foundations of computing Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge, Mass. MIT Press 1993 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.13 W. Προσθήκη στο καλάθι (αφαίρεση)
	3.	Semantics of programming languages : structures and techniques / Carl A. Gunter. από Gunter, Carl A [συγγραφέας.] Σειρά: Foundations of computing series Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Cambridge, Mass. : MIT Press, 1992 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 005.13 G, ... Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 005.13 GUN. Προσθήκη στο καλάθι (αφαίρεση)
	4.	Algebraic semantics of imperative programs Joseph A. Goguen and Grant Malcolm από Goguen, Joseph Malcolm, Grant Σειρά: Foundations of computing Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge, Mass. MIT Press 1996 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 G. Προσθήκη στο καλάθι (αφαίρεση)
	5.	From logic to logic programming Kees Doets από Doets, Kees Σειρά: Foundations of computing series Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge, Massachusetts The MIT Press 1994 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (4)Ταξιθετικός αριθμός: 005.1 D, ... Προσθήκη στο καλάθι (αφαίρεση)
	6.	The formal semantics of programming languages : an introduction / Glynn Winskel. από Winskel, G. (Glynn) [συγγραφέας.] Σειρά: Foundations of computing Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Cambridge, Mass. : MIT Press, 1993 [3rd printing 1996] Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (3)Ταξιθετικός αριθμός: 005.13 WIN, ... Μηχανικών Η/Υ και Πληροφορικής (3)Ταξιθετικός αριθμός: 005.13 WIN, ... Προσθήκη στο καλάθι (αφαίρεση)
	7.	Computability and complexity : from a programming perspective / Neil D. Jones. από Jones, Neil D [συγγραφέας.] Σειρά: Foundations of computing Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Cambridge, Mass. : MIT Press, c1997 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 JON. Προσθήκη στο καλάθι (αφαίρεση)
	8.	Control flow semantics Jaco de Bakker, Erik de Vink από Bakker, J. W. de (Jacobus Willem), 1939- [συγγραφέας.] Vink, Erik de [συγγραφέας.] Σειρά: Foundations of computing series Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge, MA The MIT Press 1996 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 BAK. Φυσικό (1)Ταξιθετικός αριθμός: 005.13 BAK. Προσθήκη στο καλάθι (αφαίρεση)

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