Возможные действия :
Возврат на страницу поиска Просмотр рубрик... |
Подробней об авторе
Автор Р. Андерсон
Найденные документы этого автора
Уточнить поискДоказательство правильности программ / Р. Андерсон
Заглавие : Доказательство правильности программ Тип документа : печатное издание Авторы : Р. Андерсон, Автор; пер. с англ. Издательство : Мир (М.) Год издания : 1982 Пагинация : 163с Рубрики : Техника. Технические науки:Радиоэлектроника:Вычислительная техника. Программирование:Программные средства Десятичная классификация : 32.972 Permalink : http://catalog.biblioteka-geo.ru/index.php?lvl=notice_display&id=13048 Бронирование
Забронировать этот документ
Экземпляры
Штрих-код Полочный индекс Носитель Место хранения Секция Статус экземпляра 13011/1 32.972 А65 Книга ЦГБ абонемент 3. техника (3) В наличии
Электронный каталог Георгиевской городской библиотеки
Ссылки на поисковые системы по базам данных и сайты библиотек г. Нижнего Новгорода
- Поиск описаний в интернет-каталоге SIGLA.RU
- Национальный информационно-библиотечный центр «ЛИБНЕТ»
- Ассоциация Региональных Библиотечных Консорциумов (АРБИКОН)
- Нижегородская государственная областная универсальная научная библиотека
- Центральная городская библиотека г. Нижнего Новгорода