De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage

Bøger af Felice Balarin

Filter
Filter
Sorter efterSorter Populære
  • - Formal Methods for Embedded Systems
    af Harry Hsieh, Felice Balarin & Alberto L. Sangiovanni-Vincentelli
    1.100,95 kr.

  • - Formal Methods for Embedded Systems
    af Harry Hsieh, Felice Balarin & Alberto L. Sangiovanni-Vincentelli
    1.222,95 kr.

    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.