01472nam a22002897a 4500003000700000005001700007008004100024020001500065041001300080080001300093100003300106245023300139264003500372300001200407500013000419504004100549653006300590653007600653653009400729653010900823653004200932700002500974700003000999942001201029952012401041999001701165Ge_NSL20161130130357.0161130s1989    ru ||||| j    00| 0 rus d  a5030004890  arushenk  a681.3.06  aЛисков, Барбара  aИспользование абстракций и спецификаций при разработке программ /cБ. Лисков, Дж. Гатэг ; Перевод с англ. С. А. Жигалкина и др.  aМосква :bМир,c1989.  a424 с.  a Перевод изд.: Abstraction and specification in program development / Barbara Liskov, John Guttag (New Уork etc.).  aПредм. указ. : с. 418-420.  aკომპიუტერული ტექნიკა  aგამოყენების აბსტრაქციები   aელექტრონული გამომთვლელი მანქანა  aელექტრონული პროგრამის სპეციფიკაციები  aპროგრამირება   aГатэг, Джон  aЖигалкин, С. А.  2udccBK  00102udc4070ateqbteqctechsacavid2016-11-30l0o681.3.06p2016-97345r2016-11-30 00:00:00t2k2336w2016-11-30yBK  c95204d95204