Object-Oriented Distributed Systems Design Based on Temporal Logic C.T.I. Technical Report TR 91.03.06

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Keulen van, E. (Συγγραφέας), Νούσια, Δώρα (Συγγραφέας), Χριστοδουλάκης, Δημήτριος Νικ (Συγγραφέας)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Patras Greece Πάτρα Ελλάδα Computer Technology Institute Ινστιτούτο Τεχνολογίας Υπολογιστών 1991
Θέματα:
LEADER 01101nam a22002533u 4500
001 10104144
003 upatras
005 20210117204040.0
008 991022s1991 eng
040 |a Βιβλιοθήκη ΕΑΙΤΥ  |c Βιβλιοθήκη ΕΑΙΤΥ 
041 0 |a eng 
245 1 0 |a Object-Oriented Distributed Systems Design Based on Temporal Logic C.T.I. Technical Report TR 91.03.06 
260 |a Patras  |a Greece  |a Πάτρα  |a Ελλάδα  |b Computer Technology Institute  |b Ινστιτούτο Τεχνολογίας Υπολογιστών  |c 1991 
500 |a υπάρχουν άλλα 3 αντίτυπα 
650 4 |a CTI TR 1991  |9 121422 
650 4 |a TECHNICAL REPORT  |9 117806 
650 4 |a ΤΕΧΝΙΚΗ ΑΝΑΦΟΡΑ  |9 117807 
700 1 |a Keulen van, E.  |4 aut  |9 121435 
700 1 |a Νούσια, Δώρα  |4 aut  |9 119160 
700 1 |a Χριστοδουλάκης, Δημήτριος Νικ.  |4 aut  |9 5895 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΤΜΗΥΠ  |t 1 
942 |2 ddc 
952 |0 0  |1 0  |4 0  |7 0  |9 133696  |a CEID  |b CEID  |d 2016-04-24  |l 0  |r 2016-04-24 00:00:00  |t 1  |w 2016-04-24 
999 |c 87456  |d 87456