Доказательство правильности программ
А 651 Андерсон,Р. | |
Доказательство правильности программ
Р. Андерсон; пер. с англ. — М. Мир 1982 — 163 с. |
А 651 Андерсон,Р. | |
Доказательство правильности программ
Р. Андерсон; пер. с англ. — М. Мир 1982 — 163 с. |