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
Формальные методы проектирования встроенных микропроцессоров и микроэлектронных схем при условии их синхронной эквивалентности
Вычислительная техника -- Вычислительные машины электронные цифровые -- Микропроцессоры -- Проектирование
Радиоэлектроника -- Радиотехника -- Радиоэлектронная аппаратура -- Микроэлектроника -- Проектирование
синхронная эквивалентность электронных систем - формальные методы проектирования - встроенные электронные системы
Шифр хранения:
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
Описание
Автор | Hsieh, Harry |
---|---|
Заглавие | 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 см. |
ISBN | ISBN 0-7923-7262-X |
Тема | Вычислительная техника -- Вычислительные машины электронные цифровые -- Микропроцессоры -- Проектирование |
Радиоэлектроника -- Радиотехника -- Радиоэлектронная аппаратура -- Микроэлектроника -- Проектирование | |
Термины-указатели | синхронная эквивалентность электронных систем - формальные методы проектирования - встроенные электронные системы |
Резюме/аннотация | Формальные методы проектирования встроенных микропроцессоров и микроэлектронных схем при условии их синхронной эквивалентности |
BBK-код | З973.26-02,0 |
З844.1-02,0 | |
Язык | Английский |
Места хранения | FB 5 03-4/43-5 |