Terms for subject Electronics containing абстрактное понятие

Russian	English
формализованный метод разработки программного обеспечения на основе использования понятия об абстрактной машине	B-method