[an error occurred while processing this directive]
Господа, поделитесь опытом! Что в мире есть для формальной верификации???
(«Телесистемы»: Конференция «Программируемые логические схемы и их применение»)
Отправлено
alexsas
26 июля 2005 г. 20:14
Составить ответ
|||
Конференция
|||
Архив
Ответы
formality например. Работает, и даже доверять можно вроде.
—
SM
(27.07.2005 00:03
213.141.159.26
,
пустое
)
С кем можно поделиться этим чудесным продуктом?
—
alexsas
(27.07.2005 21:10
195.54.6.106
,
пустое
)
Да на электрониксе лежит. Я его сам оттуда взял. Но не забывайте, если синопсис, то линукс.... Виндового нет.
—
SM
(27.07.2005 23:29
213.141.159.26
,
пустое
)
Да не могу я к ним достучаться.
—
alexsas
(28.07.2005 20:09
195.54.6.106
, 129 байт)
Отправка ответа
Имя (обязательно):
Пароль:
E-mail:
NoIX ключ
:
Запомнить
Тема (обязательно):
Сообщение:
Ссылка на URL:
Название ссылки:
URL изображения:
Перейти к списку ответов
|||
Конференция
|||
Архив
|||
Главная страница
|||
Содержание
|||
Без кадра
E-mail:
info@telesys.ru