Доказательство правильности программ /

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

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

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



00.60


Цифровые вычислительные машины

Ուղեկցվում է Կոհա