Электронный каталог библиотеки МИСИС

👓
eng|rus
Библиотека МИСИС
 Режим работы:
Читальный зал Пн-Пт 10:00-18:00
Абонементы Пн-Чт 10:00-17:00,
Пт 10:00-16:00
Обед 12:00-13:00
В период каникул Вт, Чт 14:00-16:00
сайт: lib.misis.ru
e-mail: swt@ntb.misis.ru

Поиск :

  • Новые поступления
  • Расширенный поиск
  • Поиск одной строкой
  • Дискавери
  • Авторы
  • Издательства
  • Серии
  • Тезаурус (Рубрики)
  • Публичные полки
  • Учебная литература:
    • По дисциплинам
    • По специальностям
    • По специализациям
    • По кафедрам
    • Список дисциплин
  • Информация о фонде
  • · Журналы
  • · Электронная библиотека МИСИС
  • · Другие электронные учебники
  • · Все электронные ресурсы
  • Помощь

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


Электронный каталог: Непомнящий, В. А. - Прикладные методы верификации программ

Непомнящий, В. А. - Прикладные методы верификации программ

Экз. чит. зала
Книга
Автор: Непомнящий, В. А.
Прикладные методы верификации программ
Издательство: Радио и связь, 1988 г.
ISBN отсутствует

На полку На полку


Книга
681.3 Н53

Непомнящий, В. А.
Прикладные методы верификации программ / В. А. Непомнящий ; Непомнящий В. А. – М. : Радио и связь, 1988 . – 256 с.

681.3


00798662 11:НЧЗ ГИ




© Все права защищены ООО "Компания Либэр" , 2009 - 2024  v.20.167