Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes Königreich
EUR 87,04
Anzahl: 1 verfügbar
In den WarenkorbZustand: Like New. Used - Like New. Book is new and unread but may have minor shelf wear. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
Anbieter: GreatBookPrices, Columbia, MD, USA
Zustand: As New. Unread book in perfect condition.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 114,05
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 111,47
Anzahl: 10 verfügbar
In den WarenkorbPaperback. Zustand: New.
Anbieter: GreatBookPrices, Columbia, MD, USA
Zustand: New.
Anbieter: GreatBookPrices, Columbia, MD, USA
Zustand: New.
Zustand: New.
Anbieter: Books Puddle, New York, NY, USA
Zustand: New. pp. 200.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 141,13
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 154,61
Anzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 2011 edition. 198 pages. 9.00x6.00x0.50 inches. In Stock.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Embedded Systems Design Based on Formal Models of Computation | Ivan Radojevic (u. a.) | Taschenbuch | xv | Englisch | 2014 | Springer | EAN 9789401784153 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
EUR 185,19
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Anbieter: GreatBookPrices, Columbia, MD, USA
Zustand: As New. Unread book in perfect condition.
Anbieter: Brook Bookstore On Demand, Napoli, NA, Italien
EUR 86,24
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: new. Questo è un articolo print on demand.
Anbieter: Brook Bookstore On Demand, Napoli, NA, Italien
EUR 86,24
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: new. Questo è un articolo print on demand.
Anbieter: moluna, Greven, Deutschland
EUR 92,27
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Presents a complete design flow from specification to synthesis on multiprocessor architectures Presents a model of computation which handles heterogeneous embedded systems consisting of both control-driven and data-driven parts Demonstrate.
Anbieter: moluna, Greven, Deutschland
EUR 92,27
Anzahl: Mehr als 20 verfügbar
In den WarenkorbGebunden. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Presents a complete design flow from specification to synthesis on multiprocessor architectures Presents a model of computation which handles heterogeneous embedded systems consisting of both control-driven and data-driven parts Demonstrate.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 153,14
Anzahl: 4 verfügbar
In den WarenkorbZustand: New. Print on Demand.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 153,55
Anzahl: 4 verfügbar
In den WarenkorbZustand: New. Print on Demand pp. 200 114 Illus.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: New. PRINT ON DEMAND.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: New. PRINT ON DEMAND pp. 200.
Anbieter: preigu, Osnabrück, Deutschland
Buch. Zustand: Neu. Embedded Systems Design Based on Formal Models of Computation | Ivan Radojevic (u. a.) | Buch | xv | Englisch | 2011 | Springer | EAN 9789400715936 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
Sprache: Englisch
Verlag: Springer, Springer Okt 2014, 2014
ISBN 10: 9401784159 ISBN 13: 9789401784153
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -'Models of Computation for Heterogeneous Embedded Systems' presents a model of computation for heterogeneous embedded systems called DFCharts. It targets heterogeneous systems by combining finite state machines (FSM) with synchronous dataflow graphs (SDFG). FSMs are connected in the same way as in Argos (a Statecharts variant with purely synchronous semantics) using three operators: synchronous parallel, refinement and hiding. The fourth operator, called asynchronous parallel, is introduced in DFCharts to connect FSMs with SDFGs. In the formal semantics of DFCharts, the operation of an SDFG is represented as an FSM. Using this representation, SDFGs are merged with FSMs so that the behaviour of a complete DFCharts specification can be expressed as a single, flat FSM. This allows system properties to be verified globally. The practical application of DFCharts has been demonstrated by linking it to widely used system-level languages Java, Esterel and SystemC.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 200 pp. Englisch.
Sprache: Englisch
Verlag: Springer, Springer Jun 2011, 2011
ISBN 10: 9400715935 ISBN 13: 9789400715936
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Buch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -'Models of Computation for Heterogeneous Embedded Systems' presents a model of computation for heterogeneous embedded systems called DFCharts. It targets heterogeneous systems by combining finite state machines (FSM) with synchronous dataflow graphs (SDFG). FSMs are connected in the same way as in Argos (a Statecharts variant with purely synchronous semantics) using three operators: synchronous parallel, refinement and hiding. The fourth operator, called asynchronous parallel, is introduced in DFCharts to connect FSMs with SDFGs. In the formal semantics of DFCharts, the operation of an SDFG is represented as an FSM. Using this representation, SDFGs are merged with FSMs so that the behaviour of a complete DFCharts specification can be expressed as a single, flat FSM. This allows system properties to be verified globally. The practical application of DFCharts has been demonstrated by linking it to widely used system-level languages Java, Esterel and SystemC.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 200 pp. Englisch.