Развитие метода и инструментария многоуровневого доказательного проектирования программ : : автореферат дис. ... кандидата физико-математических наук : 05.13.11
Развитие метода и инструментария многоуровневого доказательного проектирования программ : : автореферат дис. ... кандидата физико-математических наук : 05.13.11
Киев
Место издания
1992
Год издания
Описание документа
Код документа в НЭБ
000199_000009_000094243
Каталог
Автор
Бакулин А.В.
Заглавие
Развитие метода и инструментария многоуровневого доказательного проектирования программ : : автореферат дис. ... кандидата физико-математических наук : 05.13.11
Место издания
Киев
Год издания
1992
Объем
18 с.
Ответственность
АН Украины. Ин-т кибернетики им. В. М. Глушкова
ББК
З973.2-018-5-05,0
Библиотека
Портал НЭБ предлагает вам скачать или читать онлайн диссертацию (автореферат) на тему «Развитие метода и инструментария многоуровневого доказательного проектирования программ : : автореферат дис. .. кандидата физико-математических наук : 05.13.11» ББК:З973.2-018-5-05,0, автора Бакулин А.В. Документ был издан в 1992 году. Содержит 18 с.
Выражаем благодарность библиотеке «Российская государственная библиотека (РГБ)» за предоставленный материал.
017
##
$a: 92-11455А
$b: RuMoRKP
$a: 92-11455А
$b: RuMoRKP
035
##
$a: (RuMoRGB)DIS-0095281
$a: (RuMoRGB)DIS-0095281
040
##
$a: RuMoRGB
$b: rus
$c: RuMoRGB
$a: RuMoRGB
$b: rus
$c: RuMoRGB
041
##
$a: rus
$a: rus
072
#1
$a: 05.13.11
$2: nsnr
$a: 05.13.11
$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: Развитие метода и инструментария многоуровневого доказательного проектирования программ :
$b: автореферат дис. ... кандидата физико-математических наук : 05.13.11
$c: АН Украины. Ин-т кибернетики им. В. М. Глушкова
$a: Развитие метода и инструментария многоуровневого доказательного проектирования программ :
$b: автореферат дис. ... кандидата физико-математических наук : 05.13.11
$c: АН Украины. Ин-т кибернетики им. В. М. Глушкова
260
##
$a: Киев
$c: 1992
$a: Киев
$c: 1992
300
##
$a: 18 с.
$a: 18 с.
650
#1
$a: Математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
$2: nsnr
$a: Математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
$2: nsnr
852
1#
$a: РГБ
$b: FB
$c: D13N
$j: 9 92-5/1046-7
$x: 90
$a: РГБ
$b: FB
$c: D13N
$j: 9 92-5/1046-7
$x: 90
852
1#
$a: РГБ
$b: FB
$c: T026
$j: 9 92-5/1047-5
$x: 82
$a: РГБ
$b: FB
$c: T026
$j: 9 92-5/1047-5
$x: 82
856
11
$q: application/pdf
$u: http://dlib.rsl.ru/rsl01000000000/rsl01000094000/rsl01000094243/rsl01000094243.pdf
$y: Читать
$q: application/pdf
$u: http://dlib.rsl.ru/rsl01000000000/rsl01000094000/rsl01000094243/rsl01000094243.pdf
$y: Читать
977
##
$a: dlopen
$b: dlrgb
$c: osk
$d: Отдел сканирования
$a: dlopen
$b: dlrgb
$c: osk
$d: Отдел сканирования
979
##
$a: autoref
$b: Каталог авторефератов диссертаций
$c: rgb
$a: autoref
$b: Каталог авторефератов диссертаций
$c: rgb
979
##
$a: dlopen
$a: dlopen