Εμφανίζονται 21 - 40 Αποτελέσματα από 2.488 για την αναζήτηση '"Formality"', χρόνος αναζήτησης: 0,04δλ Περιορισμός αποτελεσμάτων
  1. 21
    Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation
    Έκδοση 2012
    Θέματα: “…Formal language definitions…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  2. 22
    Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation
    Έκδοση 2014
    Θέματα: “…Formal language definitions…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  3. 23
    Proceedings of the 5th International Workshop on Enhanced Web Service Technologies
    Έκδοση 2010
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  4. 24
    Proceedings of the 13th Workshop on Programming Languages and Analysis for Security
    Έκδοση 2018
    Θέματα: “…Formal methods and theory of security…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  5. 25
    Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology
    Έκδοση 2013
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  6. 26
    Conference proceedings on Formal methods in software development
    Έκδοση 1990
    Θέματα: “…Formal language definitions…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  7. 27
    Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
    Έκδοση 2004
    Θέματα: “…Formal language definitions…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  8. 28
    Proceedings of the 25th symposium on Implementation and Application of Functional Languages
    Έκδοση 2013
    Θέματα: “…Formal language definitions…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  9. 29
    Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
    Έκδοση 2007
    Θέματα: “…Formal language definitions…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  10. 30
    Proceedings of 16th Workshop on Formal Techniques for Java-like Programs
    Έκδοση 2014
    Θέματα: “…Formal languages and automata theory…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  11. 31
    Proceedings of the 6th Conference on Formal Methods in Software Engineering
    Έκδοση 2018
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  12. 32
    Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs
    Έκδοση 2009
    Θέματα: “…Formal language definitions…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  13. 33
    Proceedings of the 9th ACM SIGPLAN workshop on Generic programming
    Έκδοση 2013
    Θέματα: “…Formal languages and automata theory…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  14. 34
    Proceedings of 6th International Workshop on Context-Oriented Programming
    Έκδοση 2014
    Θέματα: “…Formal languages and automata theory…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  15. 35
    Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications
    Έκδοση 2010
    Θέματα: “…Formal languages and automata theory…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  16. 36
    Proceedings of the 6th ACM SIGPLAN Workshop on X10
    Έκδοση 2016
    Θέματα: “…Formal languages and automata theory…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  17. 37
    Proceedings of the on Eclipse Technology eXchange
    Έκδοση 2015
    Θέματα: “…Formal languages and automata theory…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  18. 38
    Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security
    Έκδοση 2016
    Θέματα: “…Formal methods and theory of security…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  19. 39
    Formal Languages
    ανά Book, Ronald V., Greibach, Sheila A.
    Έκδοση 1973
    Θέματα: “…FORMAL LANGUAGES 113805…”
    Βιβλίο
  20. 40
    Formal Languages
    ανά Salomaa, Arto
    Έκδοση 1973
    Θέματα: “…FORMAL LANGUAGES 113805…”
    Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email