Электронный каталог
👓
eng
|
rus
Научно-техническая библиотека ОИЯИ
Режим работы с 9:00 до 18:00
Контактная информация тел.216-27-13
abonement@jinr.ru
Поиск :
Новые поступления
Простой поиск
Расширенный поиск
Авторы
Издательства
Серии
Тезаурус (Рубрики)
Помощь
Личный кабинет :
Штрих-код
Пароль
Электронный каталог: Справочник авторов
К списку авторов
Смелянский, Р.
Сортировать по:
заглавию
Связанные описания:
Отобрать для печати:
страницу
|
инверсия
|
сброс
|
печать
(
0
)
Доступно
1 из 1
Книга
Кларк, Эдмунд М., мл.
Верификация моделей программ: Model Checking
МЦНМО, 2002 г.
ISBN 5-940570-54-2
Библиотека : ЦБ
Заказать
На полку