000 00591 a2200133 4500
035 _a
090 _c5936
_d5936
245 _aProblemy sovershenstvovaniia sinteza, testirovaniia, verifikatsii i otladki programm
_bTezisy dokladov Vsesoiuznoj nauchnoj konferintsii Riga, 12 - 14 noiabria 1986 g
_cRedactor: Ia. M. Barzdin' si altii
_nVol. 1 si vol. 2
260 _aRiga
_bLatvijskij gosudarstvennyj universitet im. P. Stuchki
_c1986
300 _a206 p. (vol. 1); 156 p. (vol. 2)
_c20 cm
500 _aCuprinde bibliografie pe capitole si index
500 _aScriere chirilica
942 _aIMAR
_cCART
999 _c5803
_d5803