Απόδειξη ορθότητας του μετασχηματισμού διακλαδιζόμενων διαστάσεων στο coq /

Κύριος συγγραφέας: Βεκρής, Δημήτριος
Συγγραφή απο Οργανισμό/Αρχή: Εθνικό Μετσόβιο Πολυτεχνείο (Ελλάδα). Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών. Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών
Άλλοι συγγραφείς: Παπασπύρου, Νικόλαος Σ
Μορφή: Βιβλίο
Γλώσσα:Greek