Тестирование на основе формальных спецификаций в процессе разработки программных комплексов: Автореф. дис. на соиск. учен. степ. д-ра физ.-мат. наук: 05.13.11 / Петренко Александр Константинович
Сохранено в:
| Вид документа: | |
|---|---|
| Автор: | Петренко, А. К. |
| Опубликовано: | М. , 2003 |
| Физические характеристики: |
58 с.
|
| Язык: | Русский |
| 00000cam0a22000004ia4500 | |||
| 001 | BY-NLB-br595374 | ||
| 005 | 20070615191659.5 | ||
| 100 | # | # | $a 20040407d2003 u y0rusy50 ca |
| 101 | 0 | # | $a rus |
| 102 | # | # | $a ru |
| 105 | # | # | $a a m 001yy |
| 109 | # | # | $a aa $a ac |
| 200 | 1 | # | $a Тестирование на основе формальных спецификаций в процессе разработки программных комплексов $e Автореф. дис. на соиск. учен. степ. д-ра физ.-мат. наук $e 05.13.11 $f Петренко Александр Константинович $g Ин-т систем. программирования Рос. акад. наук |
| 210 | # | # | $a М. $d 2003 |
| 215 | # | # | $a 58 с. |
| 300 | # | # | $a Библиогр.: c. 54-58. |
| 686 | # | # | $a 50.41.01 $2 rugasnti |
| 686 | # | # | $a 50.05.03 $2 rugasnti |
| 686 | # | # | $a 05.13.11 $2 oksvnk |
| 700 | # | 1 | $3 BY-SEK-522238 $a Петренко $b А. К. $g Александр Константинович |
| 801 | # | 0 | $a BY $b BY-HM0000 $c 20040407 $g psbo |
| 801 | # | 1 | $a BY $b BY-HM0000 $c 20060316 $g psbo |