Abstraction and specification in program development

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Guttag, John (Συγγραφέας), Liskov, Barbara, 1939- (Συγγραφέας)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Cambridge Mass. New York Massachusetts Institute of Technology Cambridge Mass. McGraw-Hill c1986 c1986
Σειρά:MIT Press Electrical Engineering and Computer Science Series
Θέματα:
LEADER 01264cam a22002533u 4500
001 10101677
003 upatras
005 20210921104349.0
008 991022s eng
040 |a Βιβλιοθήκη ΕΑΙΤΥ  |c Βιβλιοθήκη ΕΑΙΤΥ 
041 0 |a eng 
245 1 0 |a Abstraction and specification in program development 
260 |a Cambridge  |a Mass.  |a New York  |b Massachusetts Institute of Technology Cambridge Mass.  |b McGraw-Hill  |c c1986 c1986 
300 |a xv, 469p.  |b fig. 
490 0 |a MIT Press Electrical Engineering and Computer Science Series 
500 |a περιέχει βιβλιογραφία Περιέχει ασκήσεις περιέχει προβλήματα 
650 4 |a COMPUTER PROGRAMMING  |9 24276 
700 1 |a Guttag, John  |4 aut  |9 115531 
700 1 |9 105102  |a Liskov, Barbara,  |d 1939-  |4 aut 
760 0 |a MIT Press Electrical Engineering and Computer Science Series 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΤΜΗΥΠ  |h 005.12 LIS  |t 1 
942 |2 ddc 
952 |0 0  |1 0  |2 ddc  |4 0  |6 005_120000000000000_LIS  |7 0  |8 NFIC  |9 125959  |a LISP  |b LISP  |c ALFf  |d 2016-04-24  |l 0  |o 005.12 LIS  |p 025000284091  |r 2016-04-24 00:00:00  |t 1  |w 2016-04-24  |y BK15  |x Μεταφορά από Τμ. Μηχανικών ΗΥ & Πληροφορικής 
999 |c 82620  |d 82620