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

Αποτελέσματα
	1.	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. Προσθήκη στο καλάθι (αφαίρεση)
	2.	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. Προσθήκη στο καλάθι (αφαίρεση)
	3.	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, ... Προσθήκη στο καλάθι (αφαίρεση)
	4.	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, Φόρμα επικοινωνίας