верификация
1Верификация моделей программ. Model Checking , Э. М. Кларк, О. Грамберг, Д. Пелед (2002)
В монографии всемирно известных специалистов в области математической логики и теории вычислений… 236 руб2Верификация гипотезы М. Фарадея о силовых линиях в космосе. Силовые линии М. Фарадея в космосе , Серков Аркадий (2015)
Конкретизируя гипотезу М. Фарадея, гравитационное поле рассматривается как вязко-упругое тело, которое… 5377 руб3Model Checking. Верификация параллельных и распределенных программных систем (+ CD-ROM) , Ю. Г. Карпов (2010)
В книге рассказывается о новых результатах в области верификация с помощью метода model checking и приводятся… 516 руб4Численные методы. Верификация алгоритмов решения систем со случайной структурой. Учебное пособие для вузов , Аверина Т.А. (2018)
В данном учебном пособии проводится верификация построенных методов и сравнение их с известными… 578 руб5Численные методы. Верификация алгоритмов решения систем со случайной структурой. Учебное пособие для вузов , Татьяна Александровна Аверина (2018)
В данном учебном пособии проводится верификация построенных методов и сравнение их с известными… 349 руб электронная книга6Численные методы. Верификация алгоритмов решения систем со случайной структурой. Учебное пособие для вузов , Аверина Т.А. (2018)
В данном учебном пособии проводится верификация построенных методов и сравнение их с известными… 748 грн (только Украина)7Model Checking.Верификация параллельных и распределенных программных систем , Ю. Г. Карпов (2009)
В книге рассказывается о новых результатах в области верификации с помощью метода model checking и приводятся… 399 руб электронная книга8Моделирование и верификация цифровых систем на языке VHDL , Бибило П.Н. (2017)
В настоящем издании рассматриваются подготовка тестирующих программ, моделирование и верификация… 632 руб9Моделирование и верификация цифровых систем на языке VHDL , Бибило П., Авдеев Н. (2017)
В настоящем издании рассматриваются подготовка тестирующих программ, моделирование и верификация… 649 руб10Моделирование и верификация цифровых систем на языке VHDL , П. Н. Бибило, Н. А. Авдеев (2017)
В настоящем издании рассматриваются подготовка тестирующих программ, моделирование и верификация… 818 грн (только Украина)
