Εμφανίζονται 1 - 12 Αποτελέσματα από 12 για την αναζήτηση 'Leavens, Gary T', χρόνος αναζήτησης: 0,03δλ Περιορισμός αποτελεσμάτων
  1. 1
    Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings
    ανά Leavens, Gary T
    Έκδοση 2010
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  2. 2
    Foundations of component - based systems
    ανά Leavens, Gary T., Sitaraman, Murali
    Έκδοση 2000
    Βιβλίο
  3. 3
    Proceedings of the 2005 conference on Specification and verification of component-based systems
    Έκδοση 2005
    Άλλοι συγγραφείς: “…Leavens, Gary T.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software
    Έκδοση 2012
    Άλλοι συγγραφείς: “…Leavens, Gary T.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  5. 5
    Proceedings of the ACM international conference on Object oriented programming systems languages and applications
    Έκδοση 2012
    Άλλοι συγγραφείς: “…Leavens, Gary T.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  6. 6
    Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
    Έκδοση 2018
    Άλλοι συγγραφείς: “…Leavens, Gary T.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  7. 7
    Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity
    Έκδοση 2012
    Άλλοι συγγραφείς: “…Leavens, Gary T.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  8. 8
    Proceedings of the 13th workshop on Foundations of aspect-oriented languages
    Έκδοση 2014
    Άλλοι συγγραφείς: “…Leavens, Gary T.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  9. 9
    Transactions on Aspect-Oriented Software Development X
    Έκδοση 2013
    Άλλοι συγγραφείς: “…Leavens, Gary T.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 10
    Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings /
    Έκδοση 2010
    Άλλοι συγγραφείς: “…Leavens, Gary T.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 11
    Transactions on Modularity and Composition I
    Έκδοση 2016
    Άλλοι συγγραφείς: “…Leavens, Gary T.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 12
    Transactions on Aspect-Oriented Software Development IX
    Έκδοση 2012
    Άλλοι συγγραφείς: “…Leavens, Gary T.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email