Εμφανίζονται
1 - 2
Αποτελέσματα από
2
Μετάβαση στο περιεχόμενο
VuFind
Γλώσσα
English
Ελληνικά
Ξεκινήστε νέα αναζήτηση
|
Ξεκινήστε νέα σύνθετη αναζήτηση
Εκδόσεις -
Leveraging Applications of Formal Methods, Verification, and Validation
Εμφανίζονται
1 - 2
Αποτελέσματα από
2
, χρόνος αναζήτησης: 0,01δλ
Περιορισμός αποτελεσμάτων
Ταξινόμηση
Ανά σχετικότητα
Ανά Ημερομηνία (φθιν.)
Ανά Ημερομηνία (αυξ.)
Ανα Ταξιθετικό Αριθμό
Ανά συγγραφέα
Ανά Τίτλο
1
Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...
Έκδοση 2010
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
2
Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...
ανά
Margaria, Tiziana
Έκδοση 2010
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Εργαλειοθήκη
Βιβλίο
Εργαλεία αναζήτησης:
Λήψη RSS
–
Αποστολή αναζήτησης με email
Πίσω
Περιορισμός αποτελεσμάτων
Ίδρυμα
HEAL-Link
1
UPatras
1
Μορφή
Ηλεκτρονική πηγή
2
Βιβλίο
1
Εργαλειοθήκη
1
Ηλ. βιβλίο
1
Ταξιθετικός Αριθμός
000 - Computer science, information, general works
1
Συγγραφέας
Margaria, Tiziana
2
SpringerLink (Online service)
2
Steffen, Bernhard
2
Γλώσσα
English
2
Έτος έκδοσης
από:
έως:
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών