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

Результаты поиска
	1.		КнигаВерификация C#-программ: перевод из языка C#-light в язык C#-kernel = C#-program verification: translation from C#-light into C#-kernel / И.В. ДубрановскийДубрановский, Игорь В., Автор 2004Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2005-4/28054 (2). Добавить в подборку (удалить)
	2.		КнигаНа пути к верификации C#-программ: алгоритмы перевода из C#-LIGHT в C#-KERNEL = Towards C# program verification: algorithms of translation from C#-LIGHT into C#-KERNEL / И.В. ДубрановскийДубрановский, Игорь В., Автор 2006Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2007-4/12760 (2). Добавить в подборку (удалить)
	3.		КнигаTowards CNepomnjaščij, Valerij Aleksandrovič (1939-), Автор ; Anureev, I. S., Автор ; Dubranovskij, I. V., Автор ; Promskij, Aleksej Vladimirovič, Автор2005Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: Ик 2007-4/3 (1). Добавить в подборку (удалить)

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