Formal methods and their application

Άρθρο Συνεδρίου uoadl:1047102 241 Αναγνώσεις

Πρωτότυπος Τίτλος:
Formal methods and their application
Γλώσσες Τεκμηρίου:
Αγγλικά
Δημιουργός:
Σηφάκης, Ιωσήφ
Περίληψη:
Δεν υπάρχει περίληψη
Κύρια θεματική κατηγορία:
Λογική
Λοιπές θεματικές κατηγορίες:
Μαθηματικά
Πληροφορική
Λέξεις-κλειδιά:
Formal methods
Σελίδες (από-έως):
343
Σημειώσεις:
Ομαδική συζήτηση
Το ψηφιακό υλικό του τεκμηρίου δεν είναι διαθέσιμο.