Шифр: 004.4 Н53
Непомнящий В. А. Прикладные методы верификации программ / В. А. Непомнящий, О. М. Рякин ; под ред. А. П. Ершова. – Москва : Радио и связь, 1988. – 255 с. – ISBN 5-256-00156-6. – 0,80
Непомнящий В. А. Прикладные методы верификации программ / В. А. Непомнящий, О. М. Рякин ; под ред. А. П. Ершова. – Москва : Радио и связь, 1988. – 255 с. – ISBN 5-256-00156-6. – 0,80
Статистика використання: Видач: 0
Де отримати
| Місце видачі: | Кількість: | В наявності: |
| Абонемент загальний к. 358 | 3 | 3 |
Тема:
- УДК
- 004.415.5 Гарантії якості програмного забезпечення. Верифікація і оцінка (V&V) Ключові слова
- програмування, программирование, programming, Programmieren, programmation
- тестування програм, тестирование программ
- верифікація програм, верификация программ
- електронні обчислювальні машини, (електронно-обчислювальні машини), ЕОМ, электронные вычислительные машины, (электронно-вычислительные машины), ЭВМ, computers