Language Design for Reliable Software (1977) Proceedings of an ACM Conference Raleigh, North Carolina, March 28-30, 1977

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς: Wortman, David B. (Επιμελητής έκδοσης)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: New York Association for Computing Machinery c1977
Θέματα:
LEADER 00914nam a22002413u 4500
001 10102468
003 upatras
005 20210117203856.0
008 991022s eng
040 |a Βιβλιοθήκη ΕΑΙΤΥ  |c Βιβλιοθήκη ΕΑΙΤΥ 
041 0 |a eng 
245 1 0 |a Language Design for Reliable Software (1977)  |b Proceedings of an ACM Conference Raleigh, North Carolina, March 28-30, 1977 
260 |a New York  |b Association for Computing Machinery  |c c1977 
300 |a vi, 142p.  |b fig. 
500 |a περιέχει βιβλιογραφία 
650 4 |a ACM  |9 24250 
650 4 |a PROCEEDINGS  |9 24278 
650 4 |a ΠΡΑΚΤΙΚΑ ΣΥΝΕΔΡΙΩΝ  |9 113060 
700 1 |a Wortman, David B.  |4 edt  |9 117293 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΤΜΗΥΠ  |t 1 
942 |2 ddc 
952 |0 0  |1 0  |4 0  |7 0  |9 128389  |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 84169  |d 84169