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

Про нас

Електронний депозитарій 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
Предметні рубрики: Програмування-- Мови програмування-- Програмне забезпечення
Географіч. рубрики:
Анотація: Способы создания специфических программ, повышающих эффективность разработки информационно-программного обеспечения.
Примірники : всього : ВВ(1), ФОНД(1)
Вільні : ВВ(1), ФОНД(1)
Знайти схожі

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