Чистяков Геннадий Андреевич. Метод и машина логического вывода для формальной верификации параллельных алгоритмов :



  • Название:
  • Чистяков Геннадий Андреевич. Метод и машина логического вывода для формальной верификации параллельных алгоритмов
  • Кол-во страниц:
  • 221
  • ВУЗ:
  • Санкт-Петербургский государственный электротехнический университет "ЛЭТИ" им.В.И.Ульянова (Ленина)"
  • Год защиты:
  • 2014
  • Краткое описание:
  • Чистяков Геннадий Андреевич. Метод и машина логического вывода для формальной верификации параллельных алгоритмов: диссертация ... кандидата технических наук: 05.13.11, 05.13.15 / Чистяков Геннадий Андреевич;[Место защиты: Санкт-Петербургский государственный электротехнический университет "ЛЭТИ" им.В.И.Ульянова (Ленина)"].- Санкт-Петербург, 2014.- 221 с.
  • Список литературы:
  • -
  • Стоимость доставки:
  • 230.00 руб


ПОИСК ДИССЕРТАЦИИ, АВТОРЕФЕРАТА ИЛИ СТАТЬИ


Доставка любой диссертации из России и Украины