LOGIC PROGRAM SYNTHESIS AND TRANSFORMATION

Κωδ. Έργου: 63046700
Ημ. Έναρξης: 01.12.1993
Ημ. Λήξης: 30.11.1996
Ημ. Έγκρισης: 19.07.1994
Σχολή: ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ
Τομέας: ΠΛΗΡΟΦΟΡΙΚΗΣ
Χρηματοδότης: HUMAN CAPITAL AND MOBILITY, Ε.Ο.Κ.
Προϋπολογισμός: 35.454,00 €
Επ. Υπευθ.: ΚΑΘ. ΦΩΤΩ ΑΦΡΑΤΗ
Email: afrati@gmail.com