Terms for subject Electronics containing разработка методов обеспечения

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