Catalog

Record Details

Catalog Search



Программирование :  № 5, сентябрь-октябрь /  Cover Image Serials and magazines Serials and magazines

Программирование : № 5, сентябрь-октябрь / Главный редактор: В.П. Иванников; Российская академия наук.

Иванников, В.П. (Главный редактор.). Российская академия наук. (Added Author).

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.Бурбуцкайде.
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
001216543
003GUL
00520190212082718.0
022 . ‡a0132-3474
0800 . ‡a004 ‡x(051)
24510. ‡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.
50500. ‡tСемантики взаимодействия с отказами дивергенцией и разрушением / ‡rИ.Б. Бурдонов, А.С.Косачев -- ‡tО комплеменарных принципах обьектно-ориентированного программирования в органичениях ‡rВ.А. Семенов, К.Б. Драгалов и др. -- ‡tПрименение условмой конверсии для верификации и оптимизации потоков работ / ‡rА.А. Каленкова -- ‡tКомпонентная архитектура среды дляв тестирования на основе моделей / ‡rВ.В. Кулямин -- ‡tВосьмая международная конференция памяти академика А.П.Ершова "Перспективы систем информатики" 27 июля 2011 г., Новосибирск Академгородок (http://psi.nse.ru/psiii/index.shtm) / ‡rИ.B.Бурбуцкайде.
65014. ‡aПрограммирование.
65024. ‡aПериодическое издание.
7001 . ‡aИванников, В.П. ‡eГлавный редактор.
7102 . ‡aРоссийская академия наук.
910 . ‡aლეილა ცანკაშვილი.
901 . ‡a216543 ‡b ‡c216543 ‡tbiblio

Additional Resources