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

Αποτελέσματα
	1.	Time for Verification [electronic resource] Essays in Memory of Amir Pnueli edited by Zohar Manna, Doron A. Peled από Manna, Zohar SpringerLink (Online service) Peled, Doron A, 1962- Σειρά: Lecture Notes in Computer Science ; 6200 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	2.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Mathematical theory of computation από Manna, Zohar [aut] Σειρά: McGraw-Hill Series on Computer Science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York McGraw-Hill c1974 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.1 MAN. Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 005.1 MAN. Προσθήκη στο καλάθι (αφαίρεση)
	3.	Temporal verification of reactive systems Safety από Manna, Zohar [aut] Pnueli, Amir [aut] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York Springer-Verlag c1995 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.2 MAN. Προσθήκη στο καλάθι (αφαίρεση)
	4.	The temporal logic of reactive and concurrent systems specification Zohar Manna, Amir Pnueli από Manna, Zohar [aut] Pnueli, Amir [aut] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York Springer-Verlag 1992 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.115 MAN. Προσθήκη στο καλάθι (αφαίρεση)
	5.	Mathematical theory of computation Zohar Manna από Manna, Zohar [aut] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Mineola Dover 2003 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.1 MAN. Προσθήκη στο καλάθι (αφαίρεση)

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