Портал НЭБ предлагает вам скачать или читать онлайн диссертацию (автореферат) на тему «Модификации и реализации FOTL-метода компьютерной верификации алгоритмов, использующих линейное время : : автореферат дис. .. кандидата физико-математических наук : 05.13.17» ББК:З973.2-018-5-05,0, автора Прокофьева Е.Ю. Документ был издан в 2004 году. Содержит 14 с.
Выражаем благодарность библиотеке «Российская государственная библиотека (РГБ)» за предоставленный материал.
017
##
$a: 05-1624А
$b: RuMoRKP
035
##
$a: (RuMoRGB)DIS-0620207
040
##
$a: RuMoRGB
$b: rus
$c: RuMoRGB
072
#1
$a: 05.13.17
$2: nsnr
084
##
$a: З973.2-018-5-05,0
$2: rubbk
100
1#
$a: Прокофьева, Евгения Юрьевна
245
##
$a: Модификации и реализации FOTL-метода компьютерной верификации алгоритмов, использующих линейное время :
$b: автореферат дис. ... кандидата физико-математических наук : 05.13.17
$c: С.-Петерб. гос. ун-т
260
##
$a: Санкт-Петербург
$c: 2004
650
#1
$a: Вычислительная техника -- Вычислительные машины электронные цифровые -- Программирование -- Автоматизация
$2: rubbk
650
#1
$a: Теоретические основы информатики
$2: nsnr
720
1#
$a: Санкт-Петербургский государственный университет
787
11
$w: 002742531
$i: Диссертация
852
1#
$a: РГБ
$b: FB
$c: D13N
$j: 9 05-1/3059-3
$x: 90
852
1#
$a: РГБ
$b: FB
$c: T026
$j: 9 05-1/3060-7
$x: 82
856
11
$q: application/pdf
$u: http://dlib.rsl.ru/rsl01002000000/rsl01002849000/rsl01002849512/rsl01002849512.pdf
$y: Читать
977
##
$a: dlopen
$b: dlrgb
$c: osk
$d: Отдел сканирования
979
##
$a: autoref
$b: Каталог авторефератов диссертаций
$c: rgb