Εμφανίζονται 1 - 7 Αποτελέσματα από 7 για την αναζήτηση 'Manna, Zohar', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1
    Time for Verification Essays in Memory of Amir Pnueli
    ανά Manna, Zohar
    Έκδοση 2010
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  2. 2
    Mathematical theory of computation
    ανά Manna, Zohar
    Έκδοση 1974
    Βιβλίο
  3. 3
    Mathematical theory of computation
    ανά Manna, Zohar
    Έκδοση 2003
    Βιβλίο
  4. 4
    Temporal verification of reactive systems Safety
    ανά Manna, Zohar, Pnueli, Amir
    Έκδοση 1995
    Βιβλίο
  5. 5
    The temporal logic of reactive and concurrent systems specification
    ανά Manna, Zohar, Pnueli, Amir
    Έκδοση 1992
    Βιβλίο
  6. 6
    The Calculus of Computation Decision Procedures with Applications to Verification /
    ανά Bradley, Aaron R., Manna, Zohar
    Έκδοση 2007
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 7
    Time for Verification Essays in Memory of Amir Pnueli /
    Έκδοση 2010
    Άλλοι συγγραφείς: “…Manna, Zohar…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email