Πέργαμος - Βιβλιοθήκη και Κέντρο Πληροφόρησης Εθνικού και Καποδιστριακού Πανεπιστημίου Αθηνών

Πρωτότυπος Τίτλος:

Program specification and verification

Γλώσσες Τεκμηρίου:

Αγγλικά

Δημιουργός:

Σηφάκης, Ιωσήφ

Περίληψη:

Δεν υπάρχει περίληψη

Κύρια θεματική κατηγορία:

Λογική

Λοιπές θεματικές κατηγορίες:

Πληροφορική

Λέξεις-κλειδιά:

Program, specification, verification

Σελίδες (από-έως):

123-124

Μόνιμη διεύθυνση:

https://pergamos.lib.uoa.gr/uoa/dl/object/1046686