Отделение ГПНТБ СО РАН

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>S=Вычислительные системы -- Программное обеспечение<.>)

Общее количество найденных документов : 4
Показаны документы с 1 по 4

Computer systems and software engineering/Ed. by P. Dewilde a. J. Vandewalle. - 1992

Penczek W. Branching time bounded model checking for elementary net systems/W. Penczek, B. Wozna, A. Zbrzezny. - 2002

Penczek W. Bounded model checking for interpreted systems/W. Penczek, A. Lomuscio. - 2002

Фаулер М. Шаблоны корпоративных приложений/Мартин Фаулер при участии Д. Райса [и др.]. - 2018