Зведений каталог Житомирської обласної універсальної наукової бібліотеки ім. О. Ольжича та бібліотек Житомирської області

Про нас

Електронний депозитарій LIBO

Зведений каталог України

Бази даних

Електронний каталог ЖОУНБ ім. О. Ольжича- результати пошуку

Вид пошуку

Електронний каталог ЖОУНБ ім. О. Ольжича

Цінні та рідкісні видання ЖОУНБ ім. О. Ольжича

Звягельська бібліотека ЗМР

Зона пошуку

у знайденому

Формат представлення знайдених документів:
повний	інформаційний	короткий

Пошуковий запит: <.>K=процесс верификации программ<.>

Загальна кількість знайдених документів : 1

004.415
Л63

Лисков, Барбара.
Использование абстракций и спецификаций при разработке программ [] = Abstraction and Specification in Program Development / Б. Лисков, Дж. Гатэг ; пер. с англ. : С. А. Жигалкина, С. А. Усова, Д. Б. Шехватова. - М. : Мир, 1989. - 424 с. : рис., табл. - Библиогр. в конце глав. - Прил.: с. 329-417. - Предм. указ.: с. 418-420. - ISBN 5-03-000489-0 : 2.20 р.

УДК

004.415

ББК 32.973.2-018
Рубрики: Програмування--Мови програмування--Програмне забезпечення--Наукові видання

Кл.слова (ненормовані):
язык программирования СLU -- мова програмування CLU -- процедурная абстракция -- процедурна абстракція -- абстракции данных -- абстракції даних -- исключительные ситуации -- виключні ситуації -- абстракция итерации -- абстракція інтерації -- язык Паскаль -- мова Паскаль -- спецификации -- специфікації -- тестирование -- тестування -- процесс верификации программ -- процес верифікації програм -- разработка программ -- розробка програм -- проектирование -- проектування
Анотація: Способы создания специфических программ, повышающих эффективность разработки информационно-программного обеспечения.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Гатэг, Джон; Жигалкин, С. А. \пер.\; Усов, С. А. \пер.\; Шехватова, Д. Б. \пер.\
Примірників всього: 2
ВВ (1), ФОНД (1)
Свободны: ВВ (1), ФОНД (1)
Знайти схожі

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)