Concurrent systems:semantics, specification, and synthesis Dagstuhl-Seminar-Report; 9 11.3.1991-15.3.1991(9111)

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς: Deussen, Peter (Επιμελητής έκδοσης), Olderog, Ernst-Rudiger (Επιμελητής έκδοσης), Broy, M., 1949- (Επιμελητής έκδοσης)
Μορφή: Βιβλίο
Γλώσσα:English
Θέματα:
LEADER 00926nam a22002413u 4500
001 10103540
003 upatras
005 20210117204000.0
008 991022s eng
040 |a Βιβλιοθήκη ΕΑΙΤΥ  |c Βιβλιοθήκη ΕΑΙΤΥ 
041 0 |a eng 
245 1 0 |a Concurrent systems:semantics, specification, and synthesis  |b Dagstuhl-Seminar-Report; 9 11.3.1991-15.3.1991(9111) 
650 4 |a CONCURRENT PROGRAMMING  |9 114182 
650 4 |a IBFI  |9 119792 
650 4 |a SEMINAR REPORT  |9 119794 
700 1 |a Deussen, Peter  |4 edt  |9 119821 
700 1 |a Olderog, Ernst-Rudiger  |4 edt  |9 119822 
700 1 |9 530  |a Broy, M.,   |d 1949-  |4 edt 
710 2 |a Internationales Begegnungs-und Forschungszentrum fur Informatik  |4 fnd  |9 119797 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΤΜΗΥΠ  |t 1 
942 |2 ddc 
952 |0 0  |1 0  |4 0  |7 0  |9 131665  |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 86269  |d 86269