Андерсон, Роберт <br/><br/>
Доказательство правильности программ / 
Р. Андерсон; Пер. с англ. Б.Н. Зобниной ; Под ред. Д.Б. Подшивалова. 
 - Москва :  Мир,  1982. 
 - 163 с. ;  20 см. 
<br/><br/>
<br/><br/><label>Subjects--Topical Terms: </label><br/>Цифровые вычислительные машины