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

rus

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

ОНЛАЙН-ЗАКАЗ книг из каталога
ФИЛИАЛЫ
КНИГООБЕСПЕЧЕННОСТЬ

Поиск :

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

Электронный каталог: Непомнящий, В.А. - На пути к верификации с программ. Аксиоматическая семантика языка C-kernel

Непомнящий, В.А. - На пути к верификации с программ. Аксиоматическая семантика языка C-kernel

На пути к верификации с программ. Аксиоматическая семантика языка C-kernel

Статья
Автор: Непомнящий, В.А.
Программирование: На пути к верификации с программ. Аксиоматическая семантика языка C-kernel : [Математическое программирование]
б.г.
ISBN отсутствует

На полку

Статья

Непомнящий, В.А.
На пути к верификации с программ. Аксиоматическая семантика языка C-kernel: [Математическое программирование] / В.А. Непомнящий, И.С. Ануреев, А.В. Промский // Программирование / гл. ред. В.П. Иванников; учредитель Российская академия наук, Московский государственный университет имени М. В. Ломоносова. – 2003. – N6. – С.65-80.

681.3.06

общий = МАТЕМАТИЧЕСКОЕ ПРОГРАММИРОВАНИЕ