LEADER 01032nam0-22003251i-450-
001 990000469820403321
005 20091203114845.0
010   $a0262121123
035   $a000046982
035   $aFED01000046982
035   $a(Aleph)000046982FED01
035   $a000046982
100   $a20020821d1986----km-y0itay50------ba
101 0 $aeng
105   $aa-------001yy
200 1 $aAbstraction and specification in program development$fBarbara Liskov, John Güttag
210   $aCambridge, Mass.$cThe Mit Press$aNew York$cMcGraw-Hill$dİ1986
215   $a469 p.$cill.$d24 cm
225 1 $a<<The >>MIT electrical engineering and computer science series
610 0 $aProgrammi per computer
676   $a005.1'2
700  1$aLiskov,$bBarbara$025919
701  1$aGüttag,$bJohn$0491505
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990000469820403321
952   $a10 P.T. 471$b917 DIS$fDINEL
959   $aDINEL
996   $aAbstraction and specification in program development$9331944
997   $aUNINA