
	CUSTIS

	Сайт CUSTIS →

	Вакансии

	Блог команды

	Архив событий

	Архив публикаций

	Навигация

	Заглавная страница

	Свежие правки

	Случайная статья

	Справка

	Поиск



	Инструменты

	Спецстраницы

	Версия для печати

Результаты поиска

Материал из CustisWiki

Перейти к: навигация, поиск

Показаны 1-1 из 1 результатов запроса CISUniNet:Model Checking, выполненного за 0.007 секунд. Статистика:

cisuninet найдено 1 раз в 1 документах
model найдено 410 раз в 105 документах
check найдено 106 раз в 41 документах

Отчет о конференции ADD-2010 - Владислав Иофе/Предупреждение ошибок программиста

... , да почитать категорию [[CustIS_Uni.Net]]: [[Атрибуты-состояния_CIS-Uni.Net]] и [[CISUniNet:Model_Checking]].
Сложилось впечатление, что доклад перегружен, <tt>Linq</tt> там было лишним. Вместо ...

1 КБ (37 слов) - 21:05, 16 ноября 2011

Источник — «http://lib.custis.ru/Служебная:Поиск/CISUniNet:Model_Checking»