Сводный каталог книг

[Текст] : Учебное пособие / С.В. Синицын, Н.Ю. Налютин. - Москва : Интернет-Университет Информационных Технологий : БИНОМ. Лаборатория знаний, [2014]. - 367 с. : ил., табл. ; 22 см. - (Основы информационных технологий). - 2000 экз. - ISBN 978-5-94774-825-3 : 330.00 р.

ГРНТИ	50.41
УДК	004.42(075.8)

ББК З 973.2-018.14я7

Аннотация: Курс знакомит слушателей с современными технологиями верификации программного обеспечения, применяемыми при промышленной разработке сложных и отказоустойчивых программных систем. Курс рассчитан на читателей, заинтересованных в изучении основных подходов и путей решения проблем, которые связаны с современными технологиями верификации программного обеспечения.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Налютин, Никита Юрьевич
Экземпляры всего: 1
ИВМ-ЧЗ (1)
Свободны: ИВМ-ЧЗ (1)

[Текст] : учебник / С. В. Синицын, А. В. Батаев, Н. Ю. Налютин. - 2-е изд., испр. - Москва : Издательский центр "Академия", 2012. - 304 с. : ил. ; 22 см. - (Высшее профессиональное образование. Информатика и вычислительная техника) (Бакалавриат). - Библиогр.: с. 295. - 1000 экз. - ISBN 978-5-7695-9311-6 (в пер.) : 458.70 р.
Рекомендовано Учебно-методическим объединением по образованию в области прикладной информатики в качестве учебника для студентов высших учебных заведений в качестве учебника по направлению 230700 "Прикладная информатика" и другим экономическим и техническим специальностям]

ГРНТИ	50.41
УДК	004.451(075.8)^V3

ББК З 973.2-018.11я73

Аннотация: Изложены основные принципы организации современных операционных систем (ОС) на примере ОС UNIX и Windows. Рассмотрены методы и языковые средства для работы с основными объектами, находящимися под управлением ОС: файлами, заданиями, пользователями, процессами. Значительное внимание уделено вопросам обеспечения межпроцессного взаимодействия. Текст иллюстрируется многочисленными примерами, содержит контрольные вопросы и задания. Для студентов учреждений высшего профессионального образования.


Доп.точки доступа:
Батаев, Алексей Владимирович; Налютин, Никита Юрьевич
Экземпляры всего: 1
ЦНБ-АБ (1)
Свободны: ЦНБ-АБ (1)