Программирование : № 5, сентябрь-октябрь / Главный редактор: В.П. Иванников; Российская академия наук.
Record details
- ISSN: 0132-3474
- Physical Description: 80 с.
- Publisher: Москва : Наука , 2010.
Content descriptions
General Note: | Журнал издается под руководством Отделения математических наук РАН. |
Bibliography, etc. Note: | Библиография: с.22-23 с.34-37, с.52-53 с.74-75. |
Formatted Contents Note: | Семантики взаимодействия с отказами дивергенцией и разрушением / И.Б. Бурдонов, А.С.Косачев -- О комплеменарных принципах обьектно-ориентированного программирования в органичениях В.А. Семенов, К.Б. Драгалов и др. -- Применение условмой конверсии для верификации и оптимизации потоков работ / А.А. Каленкова -- Компонентная архитектура среды дляв тестирования на основе моделей / В.В. Кулямин -- Восьмая международная конференция памяти академика А.П.Ершова "Перспективы систем информатики" 27 июля 2011 г., Новосибирск Академгородок (http://psi.nse.ru/psiii/index.shtm) / И.B.Бурбуцкайде. |
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.
Show Only Available Copies
Location | Call Number / Copy Notes | Barcode | Shelving Location | Status | Due Date |
---|---|---|---|---|---|
Grigol Tsereteli Reading Hall | Ω-7594/2010/№ 5 | 900001462286 | Stacks | Available | - |
LDR | 00620cas a2200205Ka 4500 | ||
---|---|---|---|
001 | 216543 | ||
003 | GUL | ||
005 | 20190212082718.0 | ||
022 | . | ‡a0132-3474 | |
080 | 0 | . | ‡a004 ‡x(051) |
245 | 1 | 0. | ‡aПрограммирование : ‡n№ 5, сентябрь-октябрь / ‡cГлавный редактор: В.П. Иванников; Российская академия наук. |
260 | . | ‡aМосква : ‡bНаука , ‡c2010. | |
300 | . | ‡a80 с. | |
310 | . | ‡aВыходит 6 раз в год ‡b1975- | |
500 | . | ‡aЖурнал издается под руководством Отделения математических наук РАН. | |
504 | . | ‡aБиблиография: с.22-23 с.34-37, с.52-53 с.74-75. | |
505 | 0 | 0. | ‡tСемантики взаимодействия с отказами дивергенцией и разрушением / ‡rИ.Б. Бурдонов, А.С.Косачев -- ‡tО комплеменарных принципах обьектно-ориентированного программирования в органичениях ‡rВ.А. Семенов, К.Б. Драгалов и др. -- ‡tПрименение условмой конверсии для верификации и оптимизации потоков работ / ‡rА.А. Каленкова -- ‡tКомпонентная архитектура среды дляв тестирования на основе моделей / ‡rВ.В. Кулямин -- ‡tВосьмая международная конференция памяти академика А.П.Ершова "Перспективы систем информатики" 27 июля 2011 г., Новосибирск Академгородок (http://psi.nse.ru/psiii/index.shtm) / ‡rИ.B.Бурбуцкайде. |
650 | 1 | 4. | ‡aПрограммирование. |
650 | 2 | 4. | ‡aПериодическое издание. |
700 | 1 | . | ‡aИванников, В.П. ‡eГлавный редактор. |
710 | 2 | . | ‡aРоссийская академия наук. |
910 | . | ‡aლეილა ცანკაშვილი. | |
901 | . | ‡a216543 ‡b ‡c216543 ‡tbiblio |