Простий пошук
|
Розширений пошук
|
Алфавітні покажчики
|
Бази даних
Реферативна база даних - результати пошуку
Віртуальна довідкаТематичний інтернет-навігаторНаукова електронна бібліотекаАвтореферати дисертаційРеферативна база данихКнижкові видання та компакт-дискиЖурнали та продовжувані видання
 |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
| Формат представлення знайдених документів: | ||
| повний | стислий | |
Пошуковий запит: (<.>A=Манєв М$<.>) | |||
|
Загальна кількість знайдених документів : 1 |
|||
| 1. | Манєв М. К. Додаткові специфікації у процедурному програмуванні / М. К. Манєв, Д. П. Шишков // Мат. машины и системы. - 2000. - № 1. - С. 46-56. - Бібліогр.: 3 назв. - укp. - рус. Подано огляд специфікацій і синтаксичних інструментів для формальних специфікацій, що застосовуються у мовах процедурного програмування. Запропоновано систему додаткових формальних специфікацій для опису програми. Вони описують блоки програм, функції (процедури), умови у різних програмних точках. Індекс рубрикатора НБУВ: З973-018.023 Рубрики: Шифр НБУВ: Ж15664 Пошук видання у каталогах НБУВ | ||
Всі права захищені © Національна бібліотека України імені В. І. Вернадського