Εμφανίζονται
1 - 2
Αποτελέσματα από
2
για την αναζήτηση '
Chockler, Hana
'
Μετάβαση στο περιεχόμενο
VuFind
Γλώσσα
English
Ελληνικά
Όλα τα πεδία
Τίτλος
Συγγραφέας
Θέμα
Ταξιθετικός Αριθμός
ISBN/ISSN
Ετικέτα
Αναζήτηση
Σύνθετη
Συγγραφέας
Chockler, Hana
Εμφανίζονται
1 - 2
Αποτελέσματα από
2
για την αναζήτηση '
Chockler, Hana
'
, χρόνος αναζήτησης: 0,01δλ
Περιορισμός αποτελεσμάτων
Ταξινόμηση
Ανά σχετικότητα
Ανά Ημερομηνία (φθιν.)
Ανά Ημερομηνία (αυξ.)
Ανα Ταξιθετικό Αριθμό
Ανά συγγραφέα
Ανά Τίτλο
1
Hardware and Software: Verification and Testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings /
Έκδοση 2009
Άλλοι συγγραφείς:
“…
Chockler
,
Hana
…”
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
2
Validation of Evolving Software
Έκδοση 2015
Άλλοι συγγραφείς:
“…
Chockler
,
Hana
…”
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
Εργαλεία αναζήτησης:
Λήψη RSS
–
Αποστολή αναζήτησης με email
Σχετικά θέματα
Computer Science
Computer logic
Computer science
Logics and Meanings of Programs
Software Engineering
Software engineering
Programming Languages, Compilers, Interpreters
Programming languages (Electronic computers)
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών