Модификации и реализации FOTL-метода компьютерной верификации алгоритмов, использующих линейное время автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук специальность 05.13.17 <Теорет. основы информатики>
Модификации и реализации FOTL-метода компьютерной верификации алгоритмов, использующих линейное время автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук специальность 05.13.17 <Теорет. основы информатики>
В полном объеме текст документа доступен в электронных читальных залах библиотек-участников НЭБ
Санкт-Петербург
Место издания
2004
Год издания
Описание документа
Код документа в НЭБ
000200_000018_RU_NLR_bibl_827739
Каталог
Автор
Прокофьева Евгения Юрьевна
Заглавие
Модификации и реализации FOTL-метода компьютерной верификации алгоритмов, использующих линейное время автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук специальность 05.13.17 <Теорет. основы информатики>
Место издания
Санкт-Петербург
Год издания
2004
Объем
15 c.
УДК
004.382.7
Язык
Русский
Еще
Библиотека
010
##
$9: 100
$9: 100
020
##
$a: RU
$b: 05-04499
$9: Летопись авторефератов диссертаций
$a: RU
$b: 05-04499
$9: Летопись авторефератов диссертаций
021
##
$a: RU
$b: 2005-1624а
$9: 065а
$a: RU
$b: 2005-1624а
$9: 065а
100
##
$a: 20050628d2004 u u0rusy0150 ca
$a: 20050628d2004 u u0rusy0150 ca
101
##
$a: rus
$a: rus
102
##
$a: RU
$a: RU
105
##
$a: y dm |||||
$a: y dm |||||
135
##
$a: crgn 008aaaba
$a: crgn 008aaaba
200
1#
$a: Модификации и реализации FOTL-метода компьютерной верификации алгоритмов, использующих линейное время
$e: автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук
$e: специальность 05.13.17 <Теорет. основы информатики>
$f: Прокофьева Евгения Юрьевна
$g: С.-Петерб. гос. ун-т
$a: Модификации и реализации FOTL-метода компьютерной верификации алгоритмов, использующих линейное время
$e: автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук
$e: специальность 05.13.17 <Теорет. основы информатики>
$f: Прокофьева Евгения Юрьевна
$g: С.-Петерб. гос. ун-т
210
##
$a: СПб.
$d: 2004
$a: СПб.
$d: 2004
215
##
$a: 15 c.
$d: 21
$a: 15 c.
$d: 21
320
##
$a: Библиогр.: с. 14-15 (7 назв.)
$a: Библиогр.: с. 14-15 (7 назв.)
325
##
$a: Копия доступна в Электрон. б-ке РНБ
$a: Копия доступна в Электрон. б-ке РНБ
675
##
$a: 004.382.7
$v: 3
$z: rus
$a: 004.382.7
$v: 3
$z: rus
686
##
$a: 32.973.1+32.973.2+32.973.2002-04+32.973.26+32.973.26-04+32.97 3.3+32.974
$2: rubbk
$a: 32.973.1+32.973.2+32.973.2002-04+32.973.26+32.973.26-04+32.97 3.3+32.974
$2: rubbk
686
##
$a: 05.13.17
$2: oksvnk
$a: 05.13.17
$2: oksvnk
700
#1
$a: Прокофьева
$b: Е. Ю.
$g: Евгения Юрьевна
$4: 070
$a: Прокофьева
$b: Е. Ю.
$g: Евгения Юрьевна
$4: 070
801
##
$a: RU
$b: RKP
$c: 20050628
$g: PSBO
$a: RU
$b: RKP
$c: 20050628
$g: PSBO
801
#1
$a: RU
$b: RKP
$c: 20050628
$a: RU
$b: RKP
$c: 20050628
801
#1
$a: RU
$b: NLR
$c: 20060220
$g: rcr
$a: RU
$b: NLR
$c: 20060220
$g: rcr
856
##
$u: https://vivaldi.nlr.ru/bd000093872/view
$u: https://vivaldi.nlr.ru/bd000093872/view
856
#1
$u: https://vivaldi.nlr.ru/bd000093872/cover
$u: https://vivaldi.nlr.ru/bd000093872/cover
856
#1
$u: https://vivaldi.nlr.ru/bd000093872/text
$u: https://vivaldi.nlr.ru/bd000093872/text
901
##
$a: bd000093872
$b: Текст. Автореферат диcсертации
$e: Авторефераты
$d: 20100422091800
$x: ARD11
$a: bd000093872
$b: Текст. Автореферат диcсертации
$e: Авторефераты
$d: 20100422091800
$x: ARD11
901
1#
$a: Авторефераты
$b: 05.00.00 Технические науки
$b: 05.13.00 Информатика, вычислительная техника и управление
$b: 05.13.17 Теоретические основы информатики
$a: Авторефераты
$b: 05.00.00 Технические науки
$b: 05.13.00 Информатика, вычислительная техника и управление
$b: 05.13.17 Теоретические основы информатики
983
##
$a: рг НХ
$a: рг НХ