Program specification and verification

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

Πρωτότυπος Τίτλος:
Program specification and verification
Γλώσσες Τεκμηρίου:
Αγγλικά
Δημιουργός:
Σηφάκης, Ιωσήφ
Κύρια θεματική κατηγορία:
Λογική
Λοιπές θεματικές κατηγορίες:
Πληροφορική
Λέξεις-κλειδιά:
Program, specification, verification
Σελίδες (από-έως):
123-124
Το ψηφιακό υλικό του τεκμηρίου δεν είναι διαθέσιμο.