Εμφανίζονται 1 - 6 Αποτελέσματα από 6 για την αναζήτηση 'Derrick, John', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1
    Refinement Semantics, Languages and Applications /
    ανά Derrick, John, Derrick, John, Boiten, Eerke
    Έκδοση 2018
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Refinement in Z and Object-Z Foundations and Advanced Applications /
    ανά Derrick, John, Boiten, Eerke A.
    Έκδοση 2014
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Formal Techniques for Networked and Distributed Systems – FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings /
    Έκδοση 2007
    Άλλοι συγγραφείς: “…Derrick, John…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Integrated Formal Methods 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings /
    Έκδοση 2004
    Άλλοι συγγραφείς: “…Derrick, John…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    Integrated Formal Methods 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings /
    Έκδοση 2012
    Άλλοι συγγραφείς: “…Derrick, John…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    Abstract State Machines, Alloy, B, VDM, and Z Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings /
    Έκδοση 2012
    Άλλοι συγγραφείς: “…Derrick, John…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email