Serials and magazines
Программирование : № 4, июль-август / Главный редактор: В.П. Иванников; Российская академия наук.
Record details
- ISSN: 0132-3474
- Physical Description: 80 с.
- Publisher: Москва : Наука , 2012.
Content descriptions
| General Note: | Журнал издается под руководством Отделения математических наук РАН. |
| Bibliography, etc. Note: | Библиография: с.34.с.52-53, с.70-71,c.85-87. |
| Formatted Contents Note: | Восьмая международная Ершовская конференция по информатике (IICII) / И.Б.Вирбицкайте -- Вероятостное обобщение формальных понятий / Е.Е.Витяев, А.В. Демин др. -- Суперкомпиляция высшего уровня как путь к метасистемного переходу / И.Г.Ключников, С.А.Романенко -- Использование драйверов устройств поерационной системы Linix для сравнения инструментов статистической верификации / М.У. Мандрыкин, В.С.Мутилин и др. -- Обратная совместимость програмных интерфейсов: шаги к автоматической верификации / А.В.Пономаренко. |
Search for related items by subject
| Subject: | Программирование. Периодическое издание. |
Available copies
- 1 of 1 copy available at United Catalog.
Holds
- 0 current holds with 1 total copy.
Other Formats and Editions
Show Only Available Copies
| Location | Call Number / Copy Notes | Barcode | Shelving Location | Status | Due Date |
|---|---|---|---|---|---|
| Grigol Tsereteli Reading Hall | Ω-7594/2012/№ 5 | 900001462277 | Stacks | Available | - |
