Εμφανίζονται 1 - 4 Αποτελέσματα από 4 για την αναζήτηση 'Boiten, Eerke', χρόνος αναζήτησης: 0,04δλ Περιορισμός αποτελεσμάτων
  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
    Refinement Semantics, Languages and Applications /
    ανά Derrick, John, Derrick, John, Boiten, Eerke
    Έκδοση 2018
    Άλλοι συγγραφείς: “…Boiten, Eerke…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    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
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    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