Детальная информация
| Название | Формальные и полуформальные подходы к верификации моделей полупроводниковых устройств // Материалы...25-30 ноября 2002 года. – 2003. – Факультет технической кибернетики |
|---|---|
| Авторы | Ильин В.В.; Волков А.Н.; Никитин М.А. |
| Другие авторы | Глухов Владимир Викторович |
| Организация | Санкт-Петербургский государственный политехнический университет. Межвузовская научная конференция. Неделя науки (31; 2002; Санкт-Петербург); СпбГПУ. Факультет технической кибернетики; Совет СПбГПУ по научно-исследовательской работе студентов |
| Выходные сведения | СПб., 2003 |
| Коллекция | Общая коллекция |
| Тематика | полупроводниковые устройства; верификация; математические методы |
| Тип документа | Статья, доклад |
| Тип файла | |
| Язык | Русский |
| Права доступа | Свободный доступ из сети Интернет (чтение, печать, копирование) |
| Ключ записи | RU\SPSTU\edoc\4737 |
| Дата создания записи | 19.02.2004 |
| Место доступа | Группа пользователей | Действие |
|---|---|---|
| Локальная сеть ИБК СПбПУ | Все |
|
| Интернет | Все |
|
Количество обращений: 895
За последние 30 дней: 3
