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

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

Bibliographic Details
Main Author: Непомнящий В. А. Валерий Александрович
Other Authors: Рякин О. М. Олег Михайлович (340), Ершов А. П.
Published: Москва, Радио и связь, 1988
Subjects:
вычислительные машины
программы
верификация
прикладные методы
автоматизация
языки программирования
Format: Book
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=60341

Similar Items