Εμφανίζονται 1 - 4 Αποτελέσματα από 4 για την αναζήτηση 'Reeves, Steve', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1
    Logic for computer science
    ανά Reeves, Steve, Clarke, Michael
    Έκδοση 1990
    Βιβλίο
  2. 2
    Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings /
    Έκδοση 2010
    Άλλοι συγγραφείς: “…Reeves, Steve…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings
    ανά Frappier, Marc
    Έκδοση 2010
    Άλλοι συγγραφείς: “…Reeves, Steve…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  4. 4
    Abstract State Machines, Alloy, B, VDM, and Z Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings /
    Έκδοση 2012
    Άλλοι συγγραφείς: “…Reeves, Steve…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email