Верификация программного обеспечения: учебное пособие / С. В. Синицын, Н. Ю. Налютин

Сохранено в:
Шифр документа: 1//494223(039),
Вид документа: Книги
Автор: Синицын, С. В.
Опубликовано: Москва : Интернет-университет информационных технологий Бином. Лаборатория знаний , печ. 2007 (макет 2014)
Физические характеристики: 367 с. : ил., табл., схемы ; 23 см
Язык: Русский
Серия: Основы информационных технологий
Предмет:
00000cam0a2200000 ib4500
001 BY-NLB-br0001150576
005 20150616142649.0
010 # # $a 978-5-94774-825-3  $b БИНОМ. Лаборатория знаний) (в переплете 
100 # # $a 20141120d2007 f y0rusy50 ca 
101 0 # $a rus 
102 # # $a RU 
105 # # $a a j 000yy 
109 # # $a ga 
200 1 # $a Верификация программного обеспечения  $e учебное пособие  $f С. В. Синицын, Н. Ю. Налютин 
210 # # $a Москва  $c Интернет-университет информационных технологий  $c Бином. Лаборатория знаний  $d печ. 2007 (макет 2014) 
215 # # $a 367 с.  $c ил., табл., схемы  $d 23 см 
225 1 # $a Основы информационных технологий 
320 # # $a Библиография: с. 233―234 (37 назв.) 
345 # # $9 2000 экз. 
606 0 # $3 BY-NLB-ar25725  $a ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ  $2 DVNLB 
606 0 # $3 BY-NLB-ar5128  $a ВЕРИФИКАЦИЯ  $2 DVNLB 
606 0 # $3 BY-NLB-ar80708  $a РАЗРАБОТКА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ  $2 DVNLB 
606 0 # $3 BY-NLB-ar2937849  $a ТЕСТИРОВАНИЕ ПРОГРАММ  $2 DVNLB 
608 # # $3 BY-NLB-ar2286649  $a УЧЕБНОЕ ПОСОБИЕ ДЛЯ ВУЗОВ  $2 BYGNR 
675 # # $a 004.415.5(075.8)  $v 4  $z rus 
686 # # $a 50.41.01  $2 rugasnti  $v 6 
686 # # $a 50.01.33  $2 rugasnti  $v 6 
700 # 1 $3 BY-RLST-ar372540  $a Синицын  $b С. В.  $g Сергей Владимирович  $c кандидат технических наук 
701 # 1 $3 BY-RLST-ar372541  $a Налютин  $b Н. Ю.  $g Никита Юрьевич 
801 # 0 $a BY  $b BY-HM0000  $c 20141120  $g psbo