RU/EN
Личный кабинет
RU/EN
Расширенный поиск по каталогам → Поиск электронных учебников →

Подробное описание документа

   Прикладные методы верификации программ/Под ред. А. П. Ершова. - 1988. - 255 с.

004.4 Программные средства
2 экз.
Заказать на абонемент
Заказать в читальный зал
Заявка на закупку
Вы можете получить данный документ в одном из следующих отделов
  1. Преподавательский абонемент ауд.313, ГУК, ауд. 313
  2. Читальный зал ауд.313, ГУК, ауд. 313

Используя сайт Библиотеки МГТУ им. Н. Э. Баумана, Вы соглашаетесь с использованием технических файлов (cookie) и сервисов сбора и анализа статистики посещений для обеспечения работоспособности сайта и улучшения качества обслуживания. Подробнее о технических файлах (cookie).