Synchronous Equivalence: Formal Methods for Embedded Systems - Harry Hsieh - Grāmatas - Springer - 9780792372622 - 2000. gada 31. decembris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Harry Hsieh
Synchronous Equivalence: Formal Methods for Embedded Systems 2001 edition

Cena
€ 103,49

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 3. - 11. aug.
Saņemiet paziņojumus par jauniem Harry Hsieh izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Pieejams arī kā:

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

Mediji Grāmatas     Hardcover Book   (Grāmata ar cieto muguriņu un vāku)
Izlaists 2000. gada 31. decembris
ISBN13 9780792372622
Izdevēji Springer
Lapas 136
Izmēri 155 × 235 × 11 mm   ·   911 g
Valoda Angļu  

Vairāk no tā paša izdevēja

Skatīt visus Harry Hsieh ( piem., Hardcover Book un Paperback Book )