Εμφανίζονται 1 - 3 Αποτελέσματα από 3 για την αναζήτηση 'Peled, Doron A., 1962-', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1
    Time for Verification Essays in Memory of Amir Pnueli
    ανά Manna, Zohar
    Έκδοση 2010
    Άλλοι συγγραφείς: “…Peled, Doron A., 1962-…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  2. 2
    Model checking and artificial intelligence /
    Έκδοση 2008
    Άλλοι συγγραφείς: “…Peled, Doron A., 1962-…”
    Πρακτικό Συνεδρίου Βιβλίο
  3. 3
    Model checking /
    Άλλοι συγγραφείς: “…Peled, Doron A., 1962-…”
    Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email