HEAL DSpace

On logical methods for specifications: abstract and type-theoretic approaches

Αποθετήριο DSpace/Manakin

On logical methods for specifications: abstract and type-theoretic approaches

Τίτλος: On logical methods for specifications: abstract and type-theoretic approaches;
Λογικές μέθοδοι για προδιαγραφές: αφηρημένες και τυποθεωρητικές προσεγγίσεις
Pitsiladis, Georgios V.; Πιτσιλαδής, Γεώργιος Β.
URI: https://dspace.lib.ntua.gr/xmlui/handle/123456789/64228
http://dx.doi.org/10.26240/heal.ntua.31923

Εμφάνιση πλήρους εγγραφής

Αρχεία σε αυτό το τεκμήριο

[PDF]
Όνομα: phd.pdf
Μέγεθος: 1.343Mb
Μορφότυπο: PDF
Προβολή/Άνοιγμα

Οι παρακάτω άδειες σχετίζονται με αυτό το τεκμήριο:

Αυτό το τεκμήριο εμφανίζεται στην ακόλουθη συλλογή(ές)

Αναφορά Δημιουργού - Παρόμοια Διανομή 3.0 Ελλάδα Εκτός από όπου ορίζεται κάτι διαφορετικό, αυτή η άδεια περιγράφεται ως Αναφορά Δημιουργού - Παρόμοια Διανομή 3.0 Ελλάδα