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 | - |
