Поиск :
Личный кабинет :
Электронный каталог: Андерсон, Роберт Б. - Доказательство правильности программ
Андерсон, Роберт Б. - Доказательство правильности программ
Доступно
2 из 2
2 из 2
Книга
Автор: Андерсон, Роберт Б.
Доказательство правильности программ
Издательство: Мир, 1982 г.
ISBN отсутствует
Автор: Андерсон, Роберт Б.
Доказательство правильности программ
Издательство: Мир, 1982 г.
ISBN отсутствует
Заказать 
На полку
Книга
Ц840а А-651
Андерсон, Роберт Б.
Доказательство правильности программ / Роберт Б.Андерсон ; Пер. с англ.: Б.Н.Зобнина ; Ред.: Д.Б.Подшивалов. – М. : Мир, 1982. – 163 с. : ил. – Библиогр.: с.155-59. – Пер.изд.: Proving programs correct/Robert B.Anderson (New York etc.,1979).
Ц840а
Ц840а А-651
Андерсон, Роберт Б.
Доказательство правильности программ / Роберт Б.Андерсон ; Пер. с англ.: Б.Н.Зобнина ; Ред.: Д.Б.Подшивалов. – М. : Мир, 1982. – 163 с. : ил. – Библиогр.: с.155-59. – Пер.изд.: Proving programs correct/Robert B.Anderson (New York etc.,1979).
Ц840а
| Филиал | Фонд | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
|---|---|---|---|---|---|
| ЦБ | 2 | 2 | 2 | Заказать |