Доказательство правильности программ /
Андерсон, Роберт
Доказательство правильности программ / Р. Андерсон ; Пер. с англ. Б.Н. Зобниной ; Под ред. Д.Б. Подшивалова. - Москва : Мир, 1982. - 163 с. ; 20 см.
ամբողջապես կամ մեկ օրացույցային տարվա ընթացքում հրատարակվող մենագրություն 1982
00.60
Цифровые вычислительные машины
Доказательство правильности программ / Р. Андерсон ; Пер. с англ. Б.Н. Зобниной ; Под ред. Д.Б. Подшивалова. - Москва : Мир, 1982. - 163 с. ; 20 см.
ամբողջապես կամ մեկ օրացույցային տարվա ընթացքում հրատարակվող մենագրություն 1982
00.60
Цифровые вычислительные машины