Прикладные методы верификации программ

Непомнящий В.А., Рякин О.М.
Прикладные методы верификации программ

Вид документа: Книга
Рiк видання: 1988 Мiсце видання: М. Видавництво: Радио и связь
Автор: Непомнящий В.А., Рякин О.М. Авторський знак: Н53 Вид автора: персона
Мова: Російська Обсяг: 256с.
Шифр: 004.4 УДК: 004.4 ISBN: 5-256-00156-6

Примірники

Місце збереження Кількість Видано

Абонемент 1 0