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

Результаты поиска
	1.		КнигаВерификация C#-программ: перевод из языка C#-light в язык C#-kernel / И.В. ДубрановскийДубрановский, Игорь В. -- Автор2004Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2005-4/28054 (2). Добавить в подборку (удалить)
	2.		КнигаНа пути к верификации C#-программ: алгоритмы перевода из C#-LIGHT в C#-KERNEL / И.В. ДубрановскийДубрановский, Игорь В. -- Автор2006Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2007-4/12760 (2). Добавить в подборку (удалить)

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