На главную

Символьная верификация непрерывно-дискретных систем алгоритм обобщенного таймер-преобразования : автореферат диссертации на соискание ученой степени к.ф.-м.н. : специальность 05.13.18

Символьная верификация непрерывно-дискретных систем алгоритм обобщенного таймер-преобразования : автореферат диссертации на соискание ученой степени к.ф.-м.н. : специальность 05.13.18

16 с.

Российская Национальная Библиотека

Полное библиографическое описание

  • 100% от первой страницы документа

  • Произвольный отрывок, составляющий 25% документа

Обложка
Открыть в мобильном приложении