Сайт бібліотеки  >  Електронний каталог  >  Опис документа

Опис документа

Крывый С. Л., Максимец А. Н.
Верификация программ : состояние, проблемы, результаты. I

Вид документа:  Складова частина документа 
Мова:  Російська  Обсяг:  C. 3-14 
УДК:  51.681 

Аннотацiя:

Данная работа является продолжением обзоров, начатых в (1,2), где рассматривались методы верификации программ процедурного типа с ориентацией на использование программных динамических логик (в частности, логики Хора).

Є складовою частиною документа Кибернетика и системный анализ [Текст] : междунар. науч.-теорет. журн. Т. 49. № 6 / НАН Украины, Ин-т кибернетики им. В. М. Глушкова. — К, 2013.

Теми документа

• УДК/5 Математика та природничi науки/51 Математика