Главная  Каталог авторов Каталог трудов Расширенный поиск Добавление статей Регистрация

Decomposition of formal logical and non-logical methods of complex electronic system design

Авторы
 Soloviev A.N.
 Mostov K.
Год публикации
 1994
Тип работы
 текст доклада на конференции

Ссылка на статью
 Soloviev A.N., Mostov K. Decomposition of formal logical and non-logical methods of complex electronic system design. Conference on Contemporary Logic of the Russian Academy of Sciences, Part 1. -1994. - Р. 78-85.

Сайт ИППМ    Сайт ИнфоМЭС    Обратная связь

Copyright © 2012-2024 ИППМ РАН. All Rights Reserved.
Обновлённая и существенно переработанная версия системы от 2016 года.

Разработка сайта - ИППМ РАН