BETA
Είσοδος
English
Είσοδος
English
Toggle navigation
Πλοήγηση
Αναζήτηση
Ευρετήρια
Βοήθεια
Σχετικά
Συλλογές
Πρακτικά Συνεδρίων
Α' Πανελλήνιο Συμπόσιο Λογικής: πρακτικά
Εξαγωγή Citation
BibTex
RIS
Text
Formal methods and their application
Άρθρο Συνεδρίου
uoadl:1047102
241 Αναγνώσεις
Περιγραφή
Περιεχόμενα
Πρωτότυπος Τίτλος:
Formal methods and their application
Γλώσσες Τεκμηρίου:
Αγγλικά
Δημιουργός:
Σηφάκης, Ιωσήφ
Περίληψη:
Δεν υπάρχει περίληψη
Κύρια θεματική κατηγορία:
Λογική
Λοιπές θεματικές κατηγορίες:
Μαθηματικά
Πληροφορική
Λέξεις-κλειδιά:
Formal methods
Σελίδες (από-έως):
343
Σημειώσεις:
Ομαδική συζήτηση
Μόνιμη διεύθυνση:
https://pergamos.lib.uoa.gr/uoa/dl/object/1047102
Το ψηφιακό υλικό του τεκμηρίου δεν είναι διαθέσιμο.