Электронный каталог НБ БНТУ

👓
rus
Научная библиотека БНТУ
Режим работы: Пн-Пт.
- читальные залы с 9:00 до 20:00
- абонементы с 9:00 до 19:00
Сб. с 9:00 до 16:45. Вс. - выходной.
Адреса: г. Минск, ул. Я. Коласа, 16 (читальные залы)
пр. Независимости, 65 (абонементы и читальные залы)

ОНЛАЙН-ЗАКАЗ книг из каталога

ФИЛИАЛЫ

КНИГООБЕСПЕЧЕННОСТЬ

Поиск :

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

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


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

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

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

Заказать Заказать

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


Книга
681 Н53

Непомнящий, В.А.
Прикладные методы верификации программ / В.А. Непомнящий, О.М. Рякин ; под ред. А.П. Ершов. – Москва : Радио и связь, 1988. – 256 с. : ил., табл. – ISBN 5-256-00156-6 : 0.80.

ГАСНТИ 50.05
681.3.06

общий = ТЕСТОВЫЕ ПРОГРАММЫ (вычисл. техника)
общий = ЭЛЕКТРОННЫЕ ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ
общий = ПРОГРАММИРОВАНИЕ
Филиал Всего Доступно для брони Доступно для выдачи Бронирование
ОХОФ 1 1 1 Заказать
ОНЛ 2 2 2 Заказать

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