004.42 А651 2 Андерсон, Роберт     Доказательство правильности программ [Текст] : пер. с англ. Б. Н. Зобниной / под ред. Д. Б. Подшивалова. — М. : Мир, 1982. — 163 с.

Наявність
Установа	Кількість	Документ на сайті установи
Науково-технічна бібліотека Львівського національного університету «Львівська політехніка»	4	Перейти на сайт