Նորմալ դիտում MARC դիտում ISBD Դիտում

Андерсон, Роберт

Доказательство правильности программ / Р. Андерсон ; Пер. с англ. Б.Н. Зобниной ; Под ред. Д.Б. Подшивалова. - Москва : Мир, 1982. - 163 с. ; 20 см. - 681.3 (NLA) .

ամբողջապես կամ մեկ օրացույցային տարվա ընթացքում հրատարակվող մենագրություն 1982



Subjects--Topical Terms:
Цифровые вычислительные машины

Universal Decimal Class. No.: 681.3 (NLA)