Αυτόματη επαλήθευση παραλλήλων συστημάτων Συγκριτική μελέτη βασικών θεωρητικών εργαλείων καί αλγορίθμων. Διπλωματική εργασία.

• Main Author: Γαροφαλάκης, Μίνως (Author)
• Other Authors: Σπυράκης, Παύλος Γ.
• Format: Book
• Language: Greek
• Published: Πάτρα Τμημα Η/Υ. Πτυχιακές Εργασίες. Ιούνιος 1992
• Subjects: ALGORITHMS; ΠΤΥΧΙΑΚΗ ΕΡΓΑΣΙΑ 1992