Povedzte o tejto položke priateľom:
Synchronous Equivalence: Formal Methods for Embedded Systems Harry Hsieh 2001 edition
Synchronous Equivalence: Formal Methods for Embedded Systems
Harry Hsieh
An embedded system is loosely defined as any system that utilizes electronics but is not perceived or used as a general-purpose computer. The authors review the framework upon which the theories and experiments are based, and through which the formal methods are linked to synthesis and simulation.
136 pages, biography
| Médium | Knihy Hardcover Book (Kniha s pevnou väzbou a obalom) |
| Vydané | 31. decembra 2000 |
| ISBN13 | 9780792372622 |
| Vydavatelia | Springer |
| Strany | 136 |
| Rozmery | 155 × 235 × 11 mm · 911 g |
| Jazyk | Angličtina |
Vianočné darčeky je možné vrátiť do 31. januára