Модификации и реализации FOTL-метода компьютерной верификации алгоритмов, использующих линейное время : : диссертация ... кандидата физико-математических наук : 05.13.17
Модификации и реализации FOTL-метода компьютерной верификации алгоритмов, использующих линейное время : : диссертация ... кандидата физико-математических наук : 05.13.17
2004
Год издания
Описание документа
Код документа в НЭБ
000199_000009_002742531
Автор
Прокофьева Е.Ю.
Заглавие
Модификации и реализации FOTL-метода компьютерной верификации алгоритмов, использующих линейное время : : диссертация ... кандидата физико-математических наук : 05.13.17
Год издания
2004
Библиотека
Российская государственная библиотека (РГБ)
Еще
Портал НЭБ предлагает вам читать онлайн в Электронном Читальном Зале (ЭЧЗ) диссертацию (автореферат) на тему «Модификации и реализации FOTL-метода компьютерной верификации алгоритмов, использующих линейное время : : диссертация .. кандидата физико-математических наук : 05.13.17» , автора Прокофьева Е.Ю. Документ был издан в 2004 году.
Выражаем благодарность библиотеке «Российская государственная библиотека (РГБ)» за предоставленный материал.
017
##
$a: д9166-05
$b: RuMoRGB
$a: д9166-05
$b: RuMoRGB
035
##
$a: (RuMoRGB)DIS-0633170
$a: (RuMoRGB)DIS-0633170
040
##
$a: RuMoRGB
$b: rus
$c: RuMoRGB
$a: RuMoRGB
$b: rus
$c: RuMoRGB
041
##
$a: rus
$a: rus
072
#1
$a: 05.13.17
$2: nsnr
$a: 05.13.17
$2: nsnr
084
##
$a: З973.2-018-5-05,0
$2: rubbk
$a: З973.2-018-5-05,0
$2: rubbk
100
1#
$a: Прокофьева, Евгения Юрьевна
$a: Прокофьева, Евгения Юрьевна
245
##
$a: Модификации и реализации FOTL-метода компьютерной верификации алгоритмов, использующих линейное время :
$b: диссертация ... кандидата физико-математических наук : 05.13.17
$a: Модификации и реализации FOTL-метода компьютерной верификации алгоритмов, использующих линейное время :
$b: диссертация ... кандидата физико-математических наук : 05.13.17
260
##
$a: Санкт-Петербург
$c: 2004
$a: Санкт-Петербург
$c: 2004
300
##
$a: 99 с.
$a: 99 с.
504
##
$a: Библиогр.: с.95-99
$a: Библиогр.: с.95-99
650
#1
$a: Вычислительная техника -- Вычислительные машины электронные цифровые -- Программирование -- Автоматизация
$2: rubbk
$a: Вычислительная техника -- Вычислительные машины электронные цифровые -- Программирование -- Автоматизация
$2: rubbk
650
#1
$a: Теоретические основы информатики
$2: nsnr
$a: Теоретические основы информатики
$2: nsnr
787
11
$w: 002849512
$i: Автореферат
$w: 002849512
$i: Автореферат
852
1#
$a: РГБ
$b: OD
$j: 61 05-1/420
$x: 81
$a: РГБ
$b: OD
$j: 61 05-1/420
$x: 81
856
11
$q: application/pdf
$u: http://dlib.rsl.ru/rsl01002000000/rsl01002742000/rsl01002742531/rsl01002742531.pdf
$y: Читать
$q: application/pdf
$u: http://dlib.rsl.ru/rsl01002000000/rsl01002742000/rsl01002742531/rsl01002742531.pdf
$y: Читать
977
##
$a: dllocal
$b: dlrgb
$c: osk
$d: Отдел сканирования
$a: dllocal
$b: dlrgb
$c: osk
$d: Отдел сканирования
979
##
$a: disser
$b: Каталог диссертаций
$c: rgb
$a: disser
$b: Каталог диссертаций
$c: rgb
979
##
$a: dllocal
$a: dllocal
LKR
##
$a: PAR
$l: RSL01
$b: 002849512
$m: Диссертация
$n: Автореферат
$a: PAR
$l: RSL01
$b: 002849512
$m: Диссертация
$n: Автореферат