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 |