Εμφανίζονται 121 - 140 Αποτελέσματα από 2.488 για την αναζήτηση '"Formality"', χρόνος αναζήτησης: 0,04δλ Περιορισμός αποτελεσμάτων
  1. 121
    Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
    Έκδοση 2002
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  2. 122
    Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation
    Έκδοση 2012
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  3. 123
    Proceedings of the third workshop on Formal methods in software practice
    Έκδοση 2000
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  4. 124
    Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
    Έκδοση 1999
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  5. 125
    Mathematical Logic and Model Theory A Brief Introduction /
    ανά Prestel, Alexander, Delzell, Charles N.
    Έκδοση 2011
    Θέματα: “…Mathematical Logic and Formal Languages.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 126
    An introduction to formal language theory
    ανά Arbib, Michael A., Kfoury, A. J., Moll, Robert N.
    Έκδοση 1988
    Θέματα: “…FORMAL LANGUAGES 113805…”
    Βιβλίο
  7. 127
    Introduction to Formal languages
    ανά Revesz, Gyorgy E.
    Έκδοση 1985
    Θέματα: “…FORMAL LANGUAGES 113805…”
    Βιβλίο
  8. 128
    Trends and applications in formal language theory Dagstuhl-Seminar-Report; 23 14.10.-18.10.91(9142)
    Θέματα: “…FORMAL LANGUAGE THEORY 119878…”
    Βιβλίο
  9. 129
    Gentzen's Centenary The Quest for Consistency /
    Έκδοση 2015
    Θέματα: “…Mathematical Logic and Formal Languages.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 130
    Type Systems for Distributed Programs: Components and Sessions
    ανά Dardha, Ornela
    Έκδοση 2016
    Θέματα: “…Mathematical Logic and Formal Languages.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 131
    Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings /
    Έκδοση 2016
    Θέματα: “…Mathematical Logic and Formal Languages.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 132
    Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
    Έκδοση 2006
    Θέματα: “…Formal language definitions…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  13. 133
    Proceedings of the 6th ACM SIGPLAN Symposium on Scala
    Έκδοση 2015
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  14. 134
    Proceedings of the Second ACM Workshop on Mobile Systems, Applications, and Services for HealthCare
    Έκδοση 2012
    Θέματα: “…Formal methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  15. 135
    Proceedings of the Third ACM Workshop on Attribute-Based Access Control
    Έκδοση 2018
    Θέματα: “…Formal security models…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  16. 136
    Proceedings of the 2012 workshop on Developing competency in parallelism: techniques for education and training
    Έκδοση 2012
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  17. 137
    Proceedings of the 2016 ACM Workshop on Moving Target Defense
    Έκδοση 2016
    Θέματα: “…Formal security models…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  18. 138
    Proceedings of the 1st international workshop on Random testing
    Έκδοση 2006
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  19. 139
    Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
    Έκδοση 2011
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  20. 140
    Proceedings of the 2nd International Workshop on Emerging Trends in Software Metrics
    Έκδοση 2011
    Θέματα: “…Formal methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email