Fortæl dine venner om denne vare:
Synchronous Equivalence: Formal Methods for Embedded Systems 2001 edition
Harry Hsieh
Pris
Fr. 107,99
Bestilles fra fjernlager
Forventes klar til forsendelse 22. - 28. jul.
Tilføj til din iMusic ønskeseddel
Eller
Findes også som:
Synchronous Equivalence: Formal Methods for Embedded Systems 2001 edition
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
| Medie | Bøger Hardcover bog (Bog med hård ryg og stift omslag) |
| Udgivet | 31. december 2000 |
| ISBN13 | 9780792372622 |
| Forlag | Springer |
| Antal sider | 136 |
| Mål | 155 × 235 × 11 mm · 911 g |
| Sprog | Engelsk |
Se alt med Harry Hsieh ( f.eks. Hardcover bog og Paperback Bog )