Synchronous Equivalence: Formal Methods for Embedded Systems - Harry Hsieh - Knjige - Springer - 9780792372622 - 31. decembra 2000
Če se naslovnica in naslov ne ujemata, je naslov pravilen

Synchronous Equivalence: Formal Methods for Embedded Systems 2001 edition

Cena
€ 96,99

Naročeno iz oddaljenega skladišča

Predvidena dobava 17. - 25. sep
Prejemajte obvestila o novih izdajah izvajalca Harry Hsieh
Dodaj na svoj seznam želja iMusic

Not rated yet

Na voljo tudi kot:

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

Medij Knjige     Hardcover Book   (Knjiga s trdim hrbtom in platnicami)
Izdano 31. decembra 2000
ISBN13 9780792372622
Založniki Springer
Strani 136
Dimenzije 155 × 235 × 11 mm   ·   911 g
Jezik Angleščina  

Več od istega **izdajatelja**