Поиск
На сайте: 654565 статей, 308216 фото.

Synchronous Equivalence: Formal Methods for Embedded Systems (книга)

Synchronous Equivalence: Formal Methods for Embedded Systems
Автор: Harry Hsieh
Felice Balarin
Alberto Sangiovanni-Vincentelli
Оригинал издан: ????

«Synchronous Equivalence: Formal Methods for Embedded Systems»книга ???? года.

Содержание

Содержание

От издателя

«An embedded system is loosely defined as any system that utilizes electronics but is not perceived or used as a general-purpose computer. Traditionally, one or more electronic circuits or microprocessors are literally embedded in the system, either…»

Рецензии

См. также

Ссылки