Vinkkaa tuotetta kavereillesi:
Synchronous Equivalence: Formal Methods for Embedded Systems 2001 edition
Harry Hsieh
Hinta
S$ 152,90
Tilattu etävarastosta
Arvioitu toimitus to - pe 14. - 22. elo
Lisää iMusic-toivelistallesi
Eller
Löytyy myös muodossa:
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
| Media | Kirjat Hardcover Book (Sidottu kirja kovilla kansilla sekä suojakannella) |
| Julkaisupäivämäärä | sunnuntai 31. joulukuuta 2000 |
| ISBN13 | 9780792372622 |
| Tuottaja | Springer |
| Sivujen määrä | 136 |
| Mitta | 155 × 235 × 11 mm · 911 g |
| Kieli | English |
Katso kaikki joka sisältää Harry Hsieh ( Esim. Hardcover Book Ja Paperback Book )