Serials and magazines
Программирование : № 1, январь-февраль / Главный редактор: В.П. Иванников; Российская академия наук.
Record details
- ISSN: 0132-3474
- Physical Description: 80 с.
- Publisher: Москва : Наука , 2009.
Content descriptions
| General Note: | Журнал издается под руководством Отделения математических наук РАН. |
| Bibliography, etc. Note: | Библиография: с.24-25, с.46-49, с.60, с.76-77. |
| Formatted Contents Note: | На пути к построению общества программ / Э.З. Любимский -- Особенности реализации интерпретатора параллельных программ в среде ParJava / В.П. Иванников и др. -- Базовые принципы и способы применения грида / В.Н. Коваленко, Д.А. Корягин -- Операционно-онтологический подход к формальной спецификации языков программирования / И.С. Ануреев -- Применение метода формальных утверждений о трассах для спецификации, построения и верификации автоматных программ / Е.В. Кузьмин и др. Памяти Эдуарда Зиновьевича Любимского (1931-2008) -- Авторский указатель статей, опубликованных в журнале в 2008 году. |
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/2009/№1 | 900001462296 | Stacks | Available | - |
| LDR | 00620cas a2200205Ka 4500 | ||
|---|---|---|---|
| 001 | 216068 | ||
| 003 | GUL | ||
| 005 | 20190204122027.0 | ||
| 022 | . | ‡a0132-3474 | |
| 080 | 0 | . | ‡a004 ‡x(051) |
| 245 | 1 | 0. | ‡aПрограммирование : ‡n№ 1, январь-февраль / ‡cГлавный редактор: В.П. Иванников; Российская академия наук. |
| 260 | . | ‡aМосква : ‡bНаука , ‡c2009. | |
| 300 | . | ‡a80 с. | |
| 310 | . | ‡aВыходит 6 раз в год ‡b1975- | |
| 500 | . | ‡aЖурнал издается под руководством Отделения математических наук РАН. | |
| 504 | . | ‡aБиблиография: с.24-25, с.46-49, с.60, с.76-77. | |
| 505 | 0 | 0. | ‡tНа пути к построению общества программ / ‡rЭ.З. Любимский -- ‡tОсобенности реализации интерпретатора параллельных программ в среде ParJava / ‡rВ.П. Иванников и др. -- ‡tБазовые принципы и способы применения грида / ‡rВ.Н. Коваленко, Д.А. Корягин -- ‡tОперационно-онтологический подход к формальной спецификации языков программирования / ‡rИ.С. Ануреев -- ‡tПрименение метода формальных утверждений о трассах для спецификации, построения и верификации автоматных программ / ‡rЕ.В. Кузьмин и др. |
| 505 | 0 | . | ‡aПамяти Эдуарда Зиновьевича Любимского (1931-2008) -- Авторский указатель статей, опубликованных в журнале в 2008 году. |
| 650 | 1 | 4. | ‡aПрограммирование. |
| 650 | 2 | 4. | ‡aПериодическое издание. |
| 700 | 1 | . | ‡aИванников, В.П. ‡eГлавный редактор. |
| 710 | 2 | . | ‡aРоссийская академия наук. |
| 910 | . | ‡aმაია კახიანი. | |
| 901 | . | ‡a216068 ‡b ‡c216068 ‡tbiblio ‡sSystem Local | |
