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

Гречаник Сергей Александрович. Доказательство свойств функциональных программ методом насыщения равенствами: диссертация ... кандидата Физико-математических наук: 05.13.11 / Гречаник Сергей Александрович;[Место защиты: ФГУ «Федеральный исследовательский центр Институт прикладной математики им. М.В. Келдыша Российской академии наук»], 2018
Автор
Гречаник Сергей Александрович
Год
2018

  • 99 000 UZS

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

Моделирование, сбор и анализ количественных характеристик функционирования распределенных разнородных аппаратно-программных комплексов
99 000 UZS
Автор
Шмырев Николай Владимирович
Количество страниц
Год
2009
Инструментальный комплекс для организации параллельных вычислений в интеллектуальных пакетах прикладных программ
99 000 UZS
Автор
Горский Сергей Алексеевич
Количество страниц
Год
2008
Программно-математические средства рефакторинга UML-диаграмм классов с учётом заданных критериев качества
99 000 UZS
Автор
Дерюгина Ольга Александровна
Количество страниц
Год
2018
Метод и программное средство разработки баз знаний на основе трансформации концептуальных моделей
99 000 UZS
Автор
Дородных Никита Олегович
Количество страниц
Год
2018
Математические модели надежности и методы ее повышения в современных распределенных отказоустойчивых системах хранения данных
99 000 UZS
Автор
Иваничкина Людмила Владимировна
Количество страниц
Год
2018
Новостной блок
Модули для Opencart 2, Опенкарт 3