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

Պահպանված է:
Մատենագիտական մանրամասներ
Հիմնական հեղինակ: Непомнящий, Валерий Александрович
Այլ հեղինակներ: Рякин, Олег Михайлович, Ершов, А.П (Խմբագիր, ред.)
Ձևաչափ: Գիրք
Լեզու:Russian
Հրապարակվել է: Москва : Радио и связь, 1988.
Խորագրեր:
Программы(компьют.) - Верификация
Ցուցիչներ: Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
LEADER 00854nam a2200229 a 4500
001 000154007
003 AM-YeHGA
005 20230323111329.0
008 000320s1988 ru a|||gr|||||||||0|rus|d
020 |a 5256001566 
040 |a AM-YEHGA  |c AM-YeHGA 
041 0 |a rus 
100 1 |a Непомнящий, Валерий Александрович 
245 1 0 |a Прикладные методы верификации программ /  |c В.А. Непомнящий, О.М. Рякин ; Под ред. А.П. Ершова. 
260 |a Москва :  |b Радио и связь,  |c 1988. 
300 |a 256 с. :  |b ил. 
650 1 4 |a Программы(компьют.) - Верификация  
700 1 |a Рякин, Олег Михайлович 
700 1 |a Ершов, А.П.  |e ред.  |4 edt 
942 |c BK 
999 |c 53070 
952 |o РII/597711  |p 120597711 

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