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

Αποτελέσματα
	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.	Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled. από Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020 [συγγραφέας.] Grumberg, Orna [συγγραφέας.] Peled, Doron A, 1962- [συγγραφέας.] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Cambridge, Mass. : MIT Press, c1999 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004.21 CLA. Προσθήκη στο καλάθι (αφαίρεση)
	3.	Model checking and artificial intelligence / edited by Doron Peled, Mike Wooldridge από European Conference on Artificial Intelligence Patras, Greece) 2008 Peled, Doron A, 1962- [επιμελητής] Wooldridge, Mike [επιμελητής] Σειρά: Workshop proceedings / University of Patras Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Greek, Modern (1453- ) Λεπτομέρειες δημοσίευσης: Patras : University of Patras, 2008 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.3 EUR. Προσθήκη στο καλάθι (αφαίρεση)

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