УДК:519.85 ББК:З973.2-018
Прикладные методы верификации программ [Текст]
Непомнящий Валерий Александрович, Рякин Олег Михайлович
Всі категорії
Вся тематика
Фізико-математичні науки
Математика
Дослідження операцій
Математичне програмування
Техніка. Технічні науки
Енергетика. Радіоелектроніка
Обчислювальна техніка
Електронні обчислювальні машини та пристрої
Електронні обчислювальні машини та пристрої дискретної дії. Цифрові
Мови програмування
10.05.2010 -- М. : Радио и связь
З973.2-018+519.85
Н53
Непомнящий Валерий
Александрович, Рякин Олег Михайлович
Прикладные методы
верификации программ [Текст]. - М. : Радио и связь , 1988 .
- 256 C
Дата внесення :
10.05.2010
Переглядів: 0
Популярність: 0%
