Εμφανίζονται 1 - 16 Αποτελέσματα από 16 για την αναζήτηση 'Bowen, Jonathan P.', χρόνος αναζήτησης: 0,05δλ Περιορισμός αποτελεσμάτων
  1. 1
    Museums and Digital Culture New Perspectives and Research /
    Έκδοση 2019
    Άλλοι συγγραφείς: “…Bowen, Jonathan P.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Unifying Theories of Programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers /
    Έκδοση 2017
    Άλλοι συγγραφείς: “…Bowen, Jonathan P.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Formal Methods: State of the Art and New Directions
    ανά Boca, Paul
    Έκδοση 2010
    Άλλοι συγγραφείς: “…Bowen, Jonathan P.…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  4. 4
    Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures /
    Έκδοση 2019
    Άλλοι συγγραφείς: “…Bowen, Jonathan P.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures /
    Έκδοση 2018
    Άλλοι συγγραφείς: “…Bowen, Jonathan P.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures /
    Έκδοση 2017
    Άλλοι συγγραφείς: “…Bowen, Jonathan P.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 7
    Electronic Visualisation in Arts and Culture
    Έκδοση 2013
    Άλλοι συγγραφείς: “…Bowen, Jonathan P.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 8
    Formal Methods: State of the Art and New Directions
    Έκδοση 2010
    Άλλοι συγγραφείς: “…Bowen, Jonathan P.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 9
    ZUM'97: The Z Formal Specification Notation 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings /
    Έκδοση 1997
    Άλλοι συγγραφείς: “…Bowen, Jonathan P.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 10
    ZUM '98: The Z Formal Specification Notation 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings /
    Έκδοση 1998
    Άλλοι συγγραφείς: “…Bowen, Jonathan P.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 11
    Provably Correct Systems
    Έκδοση 2017
    Άλλοι συγγραφείς: “…Bowen, Jonathan P.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 12
    Formal Methods and Testing An Outcome of the FORTEST Network, Revised Selected Papers /
    Έκδοση 2008
    Άλλοι συγγραφείς: “…Bowen, Jonathan P.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 13
    ZB 2000: Formal Specification and Development in Z and B First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings /
    Έκδοση 2000
    Άλλοι συγγραφείς: “…Bowen, Jonathan P.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 14
    ZB 2003: Formal Specification and Development in Z and B Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings /
    Έκδοση 2003
    Άλλοι συγγραφείς: “…Bowen, Jonathan P.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 15
    Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
    Έκδοση 2008
    Άλλοι συγγραφείς: “…Bowen, Jonathan P.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 16
    ZB 2002: Formal Specification and Development in Z and B 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings /
    Έκδοση 2002
    Άλλοι συγγραφείς: “…Bowen, Jonathan P.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email