01005nam a2200241 i 4500001001000000003000800010005001700018008004100035020003500076035002400111040001900135041000800154080001400162084001700176100005400193245015400247260003900401300003100440500010100471504005000572653005700622653008400679001077159RuMoRGB20160909160548.0020227s1981    lt     ||    u    ||rus d  aВ пер. (В пер.)c1 р.  a(RuMoRKP)ru82-12218  aRKPbrusePSBO0 arus  a519.713.1  a15.22rueskl1 aСкляревич, Акива Нухимович10aРекуррентный синтез тестов проверки комбинационных автоматов / cА. Н. Скляревич.  aРига :bЗинатне,c1981.  a186 с. :bил.c22 см.  aВ надзаг.: АН ЛатвССР, Ин-т электрон. и вычисл. техники  aБиблиогр.: с. 183-184 (28 назв.)0 aЦифровые автоматы - Контроль0 aციფრული ავტომატები - კონტროლი