База данных: Ретро кітаптар
Беті 1, Нәтижелерін: 7
Отмеченные записи: 0
1.
Подробнее
Б87
Брауле, Дж. Е.
Технология разработки программного обеспечения [Электронный ресурс] : научное издание / Дж. Е. Брауле. - СПб. : Питер, 2004. - 700 мв. - [Б.ц.]
ББК 32.973
Рубрики: Техника. Технические науки
Вычислительная техника
ЭВМ и устройства
Кл.слова (ненормированные):
программное обеспечение -- реализация модулей -- детальное проектирование -- верификация -- интеграция -- модульное тестирование -- электронный учебник
Экземпляры всего: 1
2.1-№2 оқу залы (1)
Свободны: 2.1-№2 оқу залы (1)
Б87
Брауле, Дж. Е.
Технология разработки программного обеспечения [Электронный ресурс] : научное издание / Дж. Е. Брауле. - СПб. : Питер, 2004. - 700 мв. - [Б.ц.]
Рубрики: Техника. Технические науки
Вычислительная техника
ЭВМ и устройства
Кл.слова (ненормированные):
программное обеспечение -- реализация модулей -- детальное проектирование -- верификация -- интеграция -- модульное тестирование -- электронный учебник
Экземпляры всего: 1
2.1-№2 оқу залы (1)
Свободны: 2.1-№2 оқу залы (1)
2.
Подробнее
Б930
Бутаков, Е. А.
Методы создания качественного программного обеспечения ЭВМ [Текст] / Е. А. Бутаков. - М. : Энергоатомиздат, 1984. - 230 с. - ). - 0р.70к.
Рубрики: ТЕХНИКА
ЭВМ И УСТРОЙСТВА
Кл.слова (ненормированные):
программирование -- логика -- модули -- методы -- ЭВМ -- спецификация -- верификация -- отладка
Экземпляры всего: 9
6.1-№8 оқу залы (9)
Свободны: 6.1-№8 оқу залы (9)
Б930
Бутаков, Е. А.
Методы создания качественного программного обеспечения ЭВМ [Текст] / Е. А. Бутаков. - М. : Энергоатомиздат, 1984. - 230 с. - ). - 0р.70к.
| УДК |
Рубрики: ТЕХНИКА
ЭВМ И УСТРОЙСТВА
Кл.слова (ненормированные):
программирование -- логика -- модули -- методы -- ЭВМ -- спецификация -- верификация -- отладка
Экземпляры всего: 9
6.1-№8 оқу залы (9)
Свободны: 6.1-№8 оқу залы (9)
3.
Подробнее
К78
Красовицкий, А. М.
Спецификация и верификация программ [Текст] : учеб.пособие / А. М. Красовицкий. - Алматы : Print-S, 2004. - 85 с. - ISBN 996593438X : 235т. 00т. тг., 235т. 00т. тг.
ББК 32.87я7
Рубрики: ТЕХНИКА. ТЕХНИЧЕСКИЕ НАУКИ
ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА
Кл.слова (ненормированные):
техника -- вычислительная техника -- спецификация -- верификация -- учебное пособие -- безвозмездно
Экземпляры всего: 7
гидро 6- 5 (3), 2.1-№2 оқу залы (2), 2.1-№2 Ч/З (2)
Свободны: гидро 6- 5 (3), 2.1-№2 оқу залы (2), 2.1-№2 Ч/З (2)
К78
Красовицкий, А. М.
Спецификация и верификация программ [Текст] : учеб.пособие / А. М. Красовицкий. - Алматы : Print-S, 2004. - 85 с. - ISBN 996593438X : 235т. 00т. тг., 235т. 00т. тг.
| УДК |
Рубрики: ТЕХНИКА. ТЕХНИЧЕСКИЕ НАУКИ
ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА
Кл.слова (ненормированные):
техника -- вычислительная техника -- спецификация -- верификация -- учебное пособие -- безвозмездно
Экземпляры всего: 7
гидро 6- 5 (3), 2.1-№2 оқу залы (2), 2.1-№2 Ч/З (2)
Свободны: гидро 6- 5 (3), 2.1-№2 оқу залы (2), 2.1-№2 Ч/З (2)
4.
Подробнее
К78
Красовицкий, А. М.
Спецификация и верификация программ [Текст] : учеб.пособие / А. М. Красовицкий. - Алматы : Print S, 2004. - 86 с. - ISBN 996593438Х : [Б.ц.] тг.
ББК 32.973я7
Рубрики: ТЕХНИКА
ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА
ЭВМ И УСТРОЙСТВА
Кл.слова (ненормированные):
вычислительная техника -- компьютер -- спецификация -- верификация -- классификация стилей -- диаграммы -- программирование -- формальные методы -- язык спецификации -- учебное пособие
Экземпляры всего: 1
2.1-№2 оқу залы (1)
Свободны: 2.1-№2 оқу залы (1)
К78
Красовицкий, А. М.
Спецификация и верификация программ [Текст] : учеб.пособие / А. М. Красовицкий. - Алматы : Print S, 2004. - 86 с. - ISBN 996593438Х : [Б.ц.] тг.
Рубрики: ТЕХНИКА
ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА
ЭВМ И УСТРОЙСТВА
Кл.слова (ненормированные):
вычислительная техника -- компьютер -- спецификация -- верификация -- классификация стилей -- диаграммы -- программирование -- формальные методы -- язык спецификации -- учебное пособие
Экземпляры всего: 1
2.1-№2 оқу залы (1)
Свободны: 2.1-№2 оқу залы (1)
5.
Подробнее
Қ18
ҚР СТ ИСО/МЭК 14888-3-2006 Ақпараттық технология. Ақпаратты қорғау әдістері. Қосымшалы сандық қолтаңбалар [Мәтін] = Информационная технология. Методы защиты информации. Цифровые подписи с приложением : ресми басылым. Ч.3. Сертификатқа негізделген тетіктер. - Астана : Мемстандарт, Б. г. - 92 бет. - 0т. 00т. тг.
ББК 32.973
Рубрики: Радиоэлектроника
Электронды есептеу машиналары мен құрылғылары
Кл.слова (ненормированные):
ақпарат -- қорғалатын ақпарат -- қолтаңбаны есептеу -- информация -- защищаемая информация -- верификация -- вычисление подписи
Экземпляры всего: 1
2.1-№2 оқу залы (1)
Свободны: 2.1-№2 оқу залы (1)
Қ18
ҚР СТ ИСО/МЭК 14888-3-2006 Ақпараттық технология. Ақпаратты қорғау әдістері. Қосымшалы сандық қолтаңбалар [Мәтін] = Информационная технология. Методы защиты информации. Цифровые подписи с приложением : ресми басылым. Ч.3. Сертификатқа негізделген тетіктер. - Астана : Мемстандарт, Б. г. - 92 бет. - 0т. 00т. тг.
Рубрики: Радиоэлектроника
Электронды есептеу машиналары мен құрылғылары
Кл.слова (ненормированные):
ақпарат -- қорғалатын ақпарат -- қолтаңбаны есептеу -- информация -- защищаемая информация -- верификация -- вычисление подписи
Экземпляры всего: 1
2.1-№2 оқу залы (1)
Свободны: 2.1-№2 оқу залы (1)
6.
Подробнее
Н34
Научное предвидение и социально-экономическое прогнозирование [Текст] : указ. отечественной и зарубежной литературы опубликованной в 1981 г. / Сост.В.С.Шидловская и др. - М. : ГБЛ, 1985. - 239 с. - 0р.85к.
Рубрики: БИБЛИОГРАФИЧЕСКИЕ ПОСОБИЯ
УКАЗАТЕЛЬ
Кл.слова (ненормированные):
верификация прогнозов -- экспертные методы -- освоение космоса
Экземпляры всего: 3
2-2 ИБО (1), 2.1-№2 Ч/З (1), 2.1-№2 оқу залы (1)
Свободны: 2-2 ИБО (1), 2.1-№2 Ч/З (1), 2.1-№2 оқу залы (1)
Н34
Научное предвидение и социально-экономическое прогнозирование [Текст] : указ. отечественной и зарубежной литературы опубликованной в 1981 г. / Сост.В.С.Шидловская и др. - М. : ГБЛ, 1985. - 239 с. - 0р.85к.
| УДК |
Рубрики: БИБЛИОГРАФИЧЕСКИЕ ПОСОБИЯ
УКАЗАТЕЛЬ
Кл.слова (ненормированные):
верификация прогнозов -- экспертные методы -- освоение космоса
Экземпляры всего: 3
2-2 ИБО (1), 2.1-№2 Ч/З (1), 2.1-№2 оқу залы (1)
Свободны: 2-2 ИБО (1), 2.1-№2 Ч/З (1), 2.1-№2 оқу залы (1)
7.
Подробнее
Н 53
Непомнящий, В. А.
Прикладные методы верификации программ [Текст] / Под ред.А.П.Ершова. - М. : Радио и связь,, 1988. - 256 с. - ISBN 52560016 : 1р.10к. тг.
ББК 32.973
Рубрики: ТЕХНИКА
ЭВМ И УСТРОЙСТВА
Кл.слова (ненормированные):
радио -- эвм -- программы -- прикладные программы -- верификация
Доп.точки доступа:
Рякин, О.М.
Экземпляры всего: 3
2.1-№2 оқу залы (3)
Свободны: 2.1-№2 оқу залы (3)
Н 53
Непомнящий, В. А.
Прикладные методы верификации программ [Текст] / Под ред.А.П.Ершова. - М. : Радио и связь,, 1988. - 256 с. - ISBN 52560016 : 1р.10к. тг.
Рубрики: ТЕХНИКА
ЭВМ И УСТРОЙСТВА
Кл.слова (ненормированные):
радио -- эвм -- программы -- прикладные программы -- верификация
Доп.точки доступа:
Рякин, О.М.
Экземпляры всего: 3
2.1-№2 оқу залы (3)
Свободны: 2.1-№2 оқу залы (3)
Беті 1, Нәтижелерін: 7