Бакулин, Александр Владимирович. Развитие метода и инструментария многоуровневого доказательного проектирования программ :



  • Название:
  • Бакулин, Александр Владимирович. Развитие метода и инструментария многоуровневого доказательного проектирования программ
  • Кол-во страниц:
  • 200
  • ВУЗ:
  • АН Украины. Ин-т кибернетики им. В. М. Глушкова
  • Год защиты:
  • 1992
  • Краткое описание:
  • Бакулин, Александр Владимирович. Развитие метода и инструментария многоуровневого доказательного проектирования программ : автореферат дис. ... кандидата физико-математических наук : 05.13.11 / АН Украины. Ин-т кибернетики им. В. М. Глушкова.- Киев, 1992.- 18 с.: ил. РГБ ОД, 9 92-5/1046-7
  • Список литературы:
  • -
  • Стоимость доставки:
  • 230.00 руб


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


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