Fortell venner om denne varen:
Synchronous Equivalence: Formal Methods for Embedded Systems Harry Hsieh 2001 edition
Pris
NOK 989
Bestillingsvarer
Forventes levert 29. sep - 7. okt
Få varsel om nye utgivelser fra Harry Hsieh
Legg til iMusic ønskeliste
eller
Finnes også som:
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
![Cover for Carsten Rossi · Happiness Hacks: Das Anti-Digital-Detox-Buch: Wie digitale Medien Sie glucklich machen konnen (Pocketbok) [1. Aufl. 2025 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Konrad Schmudgen · Unbounded Self-Adjoint Operators on Hilbert Space - Graduate Texts in Mathematics (Innbunden bok) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/822/9789402423822.jpg?konrad-schmudgen-2026-unbounded-self-adjoint-operators-on-hilbert-space-graduate-texts-in-mathematics-innbunden-bok&class=scaled&v=1786374320)
![Cover for Handbuch Organisationssoziologie (Innbunden bok) [1. Aufl. 2021 edition] (2026)](https://imusic.b-cdn.net/images/item/original/191/9783658159191.jpg?2026-handbuch-organisationssoziologie-innbunden-bok&class=scaled&v=1605099239)
