Choice of metadata Электронный Каталог книг
Page 1, Results: 3
Report on unfulfilled requests: 0
1.
Подробнее
К 78
Красовицкий, А. М.
Спецификация и верификация программ : учебное пособие / А. М. Красовицкий. - Алматы : Print, 2004. - 85 c. - ISBN 996593438Х : 235.00 тг.
ББК 32.973-018
Рубрики: Компьютеры(ЭВМ). Программирование
Кл.слова (ненормированные):
Программирование -- Язык -- Методы спецификации
Аннотация: Пособие может быть рекомендовано студентам информационных, физико-математических и технических специальностей.
Держатели документа:
ЗКГУ
Экземпляры всего: 6
чз2 (6)
Свободны: чз2 (6)
К 78
Красовицкий, А. М.
Спецификация и верификация программ : учебное пособие / А. М. Красовицкий. - Алматы : Print, 2004. - 85 c. - ISBN 996593438Х : 235.00 тг.
Рубрики: Компьютеры(ЭВМ). Программирование
Кл.слова (ненормированные):
Программирование -- Язык -- Методы спецификации
Аннотация: Пособие может быть рекомендовано студентам информационных, физико-математических и технических специальностей.
Держатели документа:
ЗКГУ
Экземпляры всего: 6
чз2 (6)
Свободны: чз2 (6)
2.
Подробнее
К 65
Константайн, Л.
Разработка програмного обеспечения [Текст] / Л. Константайн. - СПб. : Питер, 2004. - 592 с., илл. - ISBN 5887821000 : б/ц
ББК 32.973-018
Рубрики: Компьютеры(ЭВМ) Программирование
Кл.слова (ненормированные):
компьютер -- электроника
Аннотация: В этой книге рассказывается о том, как применять современые методы создания удобного и практичного програмного обеспечения.
Держатели документа:
ЗКГУ
Экземпляры всего: 1
чз2 (1)
Свободны: чз2 (1)
К 65
Константайн, Л.
Разработка програмного обеспечения [Текст] / Л. Константайн. - СПб. : Питер, 2004. - 592 с., илл. - ISBN 5887821000 : б/ц
Рубрики: Компьютеры(ЭВМ) Программирование
Кл.слова (ненормированные):
компьютер -- электроника
Аннотация: В этой книге рассказывается о том, как применять современые методы создания удобного и практичного програмного обеспечения.
Держатели документа:
ЗКГУ
Экземпляры всего: 1
чз2 (1)
Свободны: чз2 (1)
3.
Подробнее
К 56
Коварт, Р.
Windows NT 3.51 [Текст] : энциклопедия / Р. Коварт. - К. : ДиаСофт, 1997. - 592 с. - ISBN 9667033112 : 1266.00 тг.
ББК 32.973
Рубрики: Компьютеры(ЭВМ)
Кл.слова (ненормированные):
Windows NT 3.51 -- энциклопедия -- администрирования
Аннотация: В книге рассматривается широкий круг вопросов, начиная со введения в особенности операционной системы и заканчивая сложными моментами сетевой работы и администрирования.
Держатели документа:
ЗКГУ
Экземпляры всего: 1
чз2 (1)
Свободны: чз2 (1)
К 56
Коварт, Р.
Windows NT 3.51 [Текст] : энциклопедия / Р. Коварт. - К. : ДиаСофт, 1997. - 592 с. - ISBN 9667033112 : 1266.00 тг.
Рубрики: Компьютеры(ЭВМ)
Кл.слова (ненормированные):
Windows NT 3.51 -- энциклопедия -- администрирования
Аннотация: В книге рассматривается широкий круг вопросов, начиная со введения в особенности операционной системы и заканчивая сложными моментами сетевой работы и администрирования.
Держатели документа:
ЗКГУ
Экземпляры всего: 1
чз2 (1)
Свободны: чз2 (1)
Page 1, Results: 3