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

Պահպանված է:
Մատենագիտական մանրամասներ
Հիմնական հեղինակ: Непомнящий, Валерий Александрович
Այլ հեղինակներ: Рякин, Олег Михайлович, Ершов, А.П (Խմբագիր, ред.)
Ձևաչափ: Գիրք
Լեզու:Russian
Հրապարակվել է: Москва : Радио и связь, 1988.
Խորագրեր:
Программы(компьют.) - Верификация
Ցուցիչներ: Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!

Նմանատիպ նյութեր

Նմանատիպ նյութեր