Astronet Поиск по астрономическим сайтам English Russian
       
        Точная форма слов   О проекте   Сайты   Справка
Поиск по:www.cplire.ru/   - Поискать по всем серверам
Найдено документов: 788 (1 сайтов) ---- Время поиска: 0.04сек.   

Показаны документы, содержащие фрагменты текста из документа
http://www.cplire.ru/Lab144/1251/04010000.html.

1. Our report in Obninsk
Для программирования открытых информационных систем [1], отличительным признаком которых является принципиальная непредсказуемость результатов взаимодействия компонентов, представляется целесообразным использовать идеи и методы логического программирования, которое, в дополнение к обычной операционной семантике, поддерживает также декларативную семантику, инвариантную по отношению к возможному недетерминизму функционирования открытой системы. ... O2, NUML и другие), обеспечивающих такие возможности. ...
[ Сохраненная копия ]  Ссылки http://www.cplire.ru/Lab144/koi8/04010000.html -- 11.4 Кб -- 24.09.2007
Похожие документы
Еще в разделе: (Показать все результаты (>788) - www.cplire.ru/ )


Астронет | Научная сеть | ГАИШ МГУ | Поиск по МГУ | О проекте | Авторам

Комментарии, вопросы? Пишите: info@astronet.ru или сюда

Rambler's Top100 RFBR Яндекс цитирования