Электронный каталог

Книга
УДК 621.398 Н535

Непомнящий, В. А.
Прикладные методы верификации программ / В. А. Непомнящий, О. М. Рякин ; Редактор А. П. Ершов . – М. : Радио и связь, 1988 . – 256 с.

621.398 Н535

Тезаурус = ГАСНТИ 50.39
Тезаурус = Автоматика. Вычислительная техника : вычислительные сети (ВС) и системы

937497 Кх