TY  - BOOK
AU  - Скляревич,Акива Нухимович
TI  - Рекуррентный синтез тестов проверки комбинационных автоматов / 
SN  - В пер. (В пер.)
PY  - 1981///
CY  - Рига
PB  - Зинатне
KW  - Цифровые автоматы - Контроль
KW  - ციფრული ავტომატები - კონტროლი
N1  - В надзаг.: АН ЛатвССР, Ин-т электрон. и вычисл. техники; Библиогр.: с. 183-184 (28 назв.)
ER  -