000 00925nam a22002053u 4500
001 10103029
003 upatras
005 20210117203928.0
008 991022s gre
040 _aΒιβλιοθήκη ΕΑΙΤΥ
_cΒιβλιοθήκη ΕΑΙΤΥ
041 0 _agre
245 1 0 _aΑυτόματη επαλήθευση παραλλήλων συστημάτων
_bΣυγκριτική μελέτη βασικών θεωρητικών εργαλείων καί αλγορίθμων. Διπλωματική εργασία.
260 _aΠάτρα
_bΤμημα Η/Υ. Πτυχιακές Εργασίες.
_cΙούνιος 1992
650 4 _aALGORITHMS
_924371
650 4 _aΠΤΥΧΙΑΚΗ ΕΡΓΑΣΙΑ 1992
_9118472
700 1 _aΓαροφαλάκης, Μίνως
_4aut
_9118496
700 1 _aΣπυράκης, Παύλος Γ.
_93494
942 _2ddc
999 _c85267
_d85267