Synchronous Equivalence: Formal Methods for Embedded Systems by Harry Hsieh (Eng
123,08 €
An embedded system is loosely defined as any system that utilizes electronics but is not perceived or used as a general-purpose computer. The emphasis is on the specification, representation, validation, and design exploration of such systems from a high-level perspective.
Jetzt bei Ebay:
