Российская национальная библиография

Уточнить поиск

Ваш поиск дал 14 результатов

Сортировать
Результаты поиска
1.
2.
КнигаЯзык предикатного программирования Р / В.И. ШелеховШелехов, В. И. -- Автор2002Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2003-4/3276 (3).

3.
4.
5.
6.
КнигаМодель корректности программ на языке исчисления вычислимых предикатов / В.И. ШелеховШелехов, Владимир Иванович -- Автор2007Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2008-4/17914 (2).

7.
КнигаВнутреннее представление программ в системе СократШелехов, Владимир Иванович1993Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 94-4/593 (1).

8.
9.
10.
11.
12.
13.
14.
Страницы