Εμφανίζονται 1 - 3 Αποτελέσματα από 3 για την αναζήτηση 'Boiten, Eerke A.', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1
    Refinement in Z and Object-Z Foundations and Advanced Applications /
    ανά Derrick, John, Boiten, Eerke A.
    Έκδοση 2014
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Mathematics of Program Construction 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings /
    Έκδοση 2002
    Άλλοι συγγραφείς: “…Boiten, Eerke A.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Integrated Formal Methods 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings /
    Έκδοση 2004
    Άλλοι συγγραφείς: “…Boiten, Eerke A.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email