Բեռնվում է…

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

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

Fundamental Scientific Library: Unknown

Պահումների մանրամասները Fundamental Scientific Library: Unknown
Դասիչ: РII/597711
Պատճեն Unknown Հասանելի է  Տեղադրեք պահում