Методы комплексного подхода к автоматизации дедуктивной верификации программ с финитными итерациями

Методы комплексного подхода к автоматизации дедуктивной верификации программ с финитными итерациями

Автор
Кондратьев Дмитрий Александрович
Год
2022

  • 99 000 UZS

Рекомендуем вам товары

Прогнозирование синдромов старческой астении и саркопении у пациентов пожилого и старческого возраста с полиморбидной патологией
99 000 UZS
Автор
Курмаев Дмитрий Петрович
Количество страниц
Год
2022
Математическое моделирование колебательных процессов на графе
99 000 UZS
Автор
Литвинов Дмитрий Анатольевич
Количество страниц
Год
2022
Эколого-физиологические особенности древесных растений в искусственных насаждениях (на примере г. Красноярска)
99 000 UZS
Автор
Лисотова Евгения Викторовна
Количество страниц
Год
2022
Генетическое разнообразие древних и современных лошадей Алтая и сопредельных территорий
99 000 UZS
Автор
Куслий Мария Александровна
Количество страниц
Год
2022
Автоматизированный параметрический синтез приемников статического давления для малых дозвуковых скоростей
99 000 UZS
Автор
Лыу Конг Кием
Количество страниц
Год
2022
Новостной блок
Модули для Opencart 2, Опенкарт 3