Hsieh, Harry - Synchronous equivalence : Formal methods for embedded systems

Экспресс-заказ фрагмента
Hsieh, Harry (1967-).
Synchronous equivalence : Formal methods for embedded systems / Harry Hsich, Felice Balarin, Alberto Sangiovanni-Vincentelli. - Boston [etc.] : Kluwer acad. publ., Cop. 2001. - X, 136, [2] с. : ил.; 24 см.; ISBN 0-7923-7262-X

Формальные методы проектирования встроенных микропроцессоров и микроэлектронных схем при условии их синхронной эквивалентности
Вычислительная техника -- Вычислительные машины электронные цифровые -- Микропроцессоры -- Проектирование
Радиоэлектроника -- Радиотехника -- Радиоэлектронная аппаратура -- Микроэлектроника -- Проектирование
синхронная эквивалентность электронных систем - формальные методы проектирования - встроенные электронные системы
Шифр хранения:
FB 5 03-4/43-5

Marc21

Скачать marc21-запись

Показать

Описание

Автор
ЗаглавиеSynchronous equivalence : Formal methods for embedded systems
Коллекции ЭК РГБ Каталог документов с 1831 по настоящее время
Дата поступления в ЭК РГБ 09.04.2003
Каталоги Книги (изданные с 1831 г. по настоящее время)
Сведения об ответственностиHarry Hsich, Felice Balarin, Alberto Sangiovanni-Vincentelli
Выходные данныеBoston [etc.] : Kluwer acad. publ., Cop. 2001
Физическое описаниеX, 136, [2] с. : ил.; 24 см.
ISBNISBN 0-7923-7262-X
ТемаВычислительная техника -- Вычислительные машины электронные цифровые -- Микропроцессоры -- Проектирование
Радиоэлектроника -- Радиотехника -- Радиоэлектронная аппаратура -- Микроэлектроника -- Проектирование
Термины-указателисинхронная эквивалентность электронных систем - формальные методы проектирования - встроенные электронные системы
Резюме/аннотацияФормальные методы проектирования встроенных микропроцессоров и микроэлектронных схем при условии их синхронной эквивалентности
BBK-кодЗ973.26-02,0
З844.1-02,0
ЯзыкАнглийский
Места храненияFB 5 03-4/43-5