- 5 Ergebnisse
Kleinster Preis: € 6,70, größter Preis: € 139,09, Mittelwert: € 106,06
1
Embedded Systems Design Based on Formal Models of Computation
Bestellen
bei Dodax.de
€ 134,18
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Embedded Systems Design Based on Formal Models of Computation - neues Buch

ISBN: 9789400715936

"Models of Computation for Heterogeneous Embedded Systems" presents a model of computation for heterogeneous embedded systems called DFCharts. It targets heterogeneous systems by combinin… Mehr…

Nr. 10 black & white tables. Versandkosten:, Lieferzeit: zwischen 5 - 7 Werktagen Tage, DE. (EUR 0.00)
zuklappen (X)
2
Embedded Systems Design Based on Formal Models of Computation - Ivan Radojevic; Zoran Salcic
Bestellen
bei Springer.com
€ 139,09
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Ivan Radojevic; Zoran Salcic:

Embedded Systems Design Based on Formal Models of Computation - gebunden oder broschiert

ISBN: 9789400715936

"Models of Computation for Heterogeneous Embedded Systems" presents a model of computation for heterogeneous embedded systems called DFCharts. It targets heterogeneous systems by combinin… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00)
zuklappen (X)
3
Embedded Systems Design Based on Formal Models of Computation - Salcic, Zoran; Radojevic, Ivan
Bestellen
bei Achtung-Buecher.de
€ 111,22
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Salcic, Zoran; Radojevic, Ivan:
Embedded Systems Design Based on Formal Models of Computation - gebunden oder broschiert

2011

ISBN: 9400715935

2011 Gebundene Ausgabe Technik / Allgemeines, Einführung, Lexikon, Ingenieurswesen, Maschinenbau allgemein, ComputationModels; embeddedsystems; finitestatemachines; SystemLevelDesign; S… Mehr…

Versandkosten:No shipping costs within Germany. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
4
Embedded Systems Design Based on Formal Models of Computation - Radojevic, Ivan und Zoran Salcic
Bestellen
bei AbeBooks.de
CHF 6,48
(ca. € 6,70)
Versand: € 8,621
Bestellen
Details beim Anbieter
gesponserter Link
Radojevic, Ivan und Zoran Salcic:
Embedded Systems Design Based on Formal Models of Computation - gebunden oder broschiert

2011, ISBN: 9400715935

[EAN: 9789400715936], Gebraucht, guter Zustand, [PU: Springer Netherland], SYSTEMC,EMBEDDED SYSTEMS,SYSTEM LEVEL DESIGN,FINITE STATE MACHINES,COMPUTATION MODELS,, Gepflegter, sauberer Zus… Mehr…

NOT NEW BOOK. Versandkosten: EUR 8.62 Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)]
zuklappen (X)
5
Embedded Systems Design Based on Formal Models of Computation - Ivan Radojevic; Zoran Salcic
Bestellen
bei lehmanns.de
€ 139,09
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Ivan Radojevic; Zoran Salcic:
Embedded Systems Design Based on Formal Models of Computation - gebunden oder broschiert

2011, ISBN: 9789400715936

Buch, Hardcover, [PU: Springer], Springer, 2011

Versandkosten:sofort lieferbar. (EUR 0.00)
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Embedded Systems Design Based on Formal Models of Computation
Autor:
Titel:
ISBN-Nummer:

9789400715936


"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.

Detailangaben zum Buch - Embedded Systems Design Based on Formal Models of Computation


EAN (ISBN-13): 9789400715936
ISBN (ISBN-10): 9400715935
Gebundene Ausgabe
Erscheinungsjahr: 2011
Herausgeber: Springer
183 Seiten
Gewicht: 0,435 kg
Sprache: Englisch

Buch in der Datenbank seit 2008-07-03T22:22:07+02:00 (Vienna)
Detailseite zuletzt geändert am 2023-10-10T21:32:36+02:00 (Vienna)
ISBN/EAN: 9789400715936

ISBN - alternative Schreibweisen:
94-007-1593-5, 978-94-007-1593-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: rado, zoran
Titel des Buches: models, design embedded systems

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9783854209850 Journal der Bilder und Einbildungen (Helwig Brunner)

< zum Archiv...