この資料をSMS送信: Рекуррентный синтез тестов проверки комбинационных автоматов: [монография]