Зведений каталог бібліотек Тернополя

 
Пошук Відібрані Опис документа
Початкова сторінка Сайт УФД

658.512.011
Зайченко, С. О.
    Моделі й методи функціональної верифікації цифрових систем на основі темпоральних асерцій [Текст] / С.О. Зайченко. — Харків, 2011. — 20 с.

- Теми документа

  • УДК // МАТЕМАТИЧНА КІБЕРНЕТИКА
  • УДК // Обладнання для обробки даних
  • УДК // Організація комерційних та приватних підприємств. Організація торгівлі



Наявність
Установа Кількість Документ на сайті установи
Науково-технічна бібліотека Тернопільського національного технічного університету ім. І.Пулюя 1 Перейти на сайт