Электронный каталог МПГУ -Андерсон, Роберт - Доказательство правильности программ- Absopac

Поиск :

Личный кабинет :

Электронный каталог: Андерсон, Роберт - Доказательство правильности программ

Андерсон, Роберт - Доказательство правильности программ

Доступно
1 из 1

Книга
Автор: Андерсон, Роберт
Доказательство правильности программ
Издательство: Мир, 1982 г.
ISBN отсутствует

Заказать

На полку

Книга
621.38 А651

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

ББК 32.973.2-018

техника = техника
техника = техника : радиоэлектроника
техника = техника : вычислительная техника
техника = техника : вычислительная техника : программирование : компиляторы
техника = техника : вычислительная техника : программирование
техника = техника : вычислительная техника : программное обеспечение компьютеров
техника = техника : вычислительная техника : программное обеспечение компьютеров

00000000823677 МАТН 621.38 А651