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

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

Bibliografske podrobnosti
Glavni avtor: Непомнящий В. А. Валерий Александрович
Drugi avtorji: Рякин О. М. Олег Михайлович (редактор), Ершов А. П.
Jezik:ruščina
Izdano: Москва, Радио и связь, 1988
Teme:
вычислительные машины
программы
верификация
прикладные методы
автоматизация
языки программирования
Format: Knjiga
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=60341

Podobne knjige/članki