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
Карточка
Экспресс-заказ фрагмента
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 |
