Importe total (1 artículo artículos):
Destino del pedido:
9789400715936 - Embedded Systems Design Based on Formal Models of Computation de Radojevic, Ivan; Salcic, Zoran (14 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (14)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición Más información
- Nuevo (12)
- Como nuevo, Excelente o Muy bueno (2)
- Bueno o Aceptable (No hay ningún otro resultado que coincida con este filtro.)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- Tal como se indica (No hay ningún otro resultado que coincida con este filtro.)
Encuadernación
- Todas
- Tapa dura (14)
- Tapa blanda (No hay ningún otro resultado que coincida con este filtro.)
Más atributos
- Primera edición (No hay ningún otro resultado que coincida con este filtro.)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (No hay ningún otro resultado que coincida con este filtro.)
- Con imágenes (6)
- No impresión bajo demanda (7)
Idioma (1)
Precio
- Cualquier precio
- Menos de EUR 20 (No hay ningún otro resultado que coincida con este filtro.)
- EUR 20 a EUR 45 (No hay ningún otro resultado que coincida con este filtro.)
- Más de EUR 45
Gastos de envío gratis
- Envío gratis a Estados Unidos de America (No hay ningún otro resultado que coincida con este filtro.)
Ubicación del vendedor
Valoración de los vendedores
-
Embedded Systems Design Based on Formal Models of Computation
Librería: Phatpocket Limited, Waltham Abbey, HERTS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 85,57
Envío por EUR 12,33
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: 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.
-
Embedded Systems Design Based on Formal Models of Computation
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 122,39
Envío por EUR 2,28
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Embedded Systems Design Based on Formal Models of Computation
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 134,47
Envío por EUR 2,28
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Añadir al carritoCondición: New.
-
Embedded Systems Design Based on Formal Models of Computation
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 142,32
Envío por EUR 3,44
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 200.
-
Embedded Systems Design Based on Formal Models of Computation
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 140,12
Envío por EUR 13,89
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Embedded Systems Design Based on Formal Models of Computation
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 154,05
Envío por EUR 11,59
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoHardcover. Condición: Brand New. 2011 edition. 198 pages. 9.00x6.00x0.50 inches. In Stock.
-
Embedded Systems Design Based on Formal Models of Computation
Idioma: Inglés
Publicado por Springer Netherlands, Springer Netherlands, 2011
ISBN 10: 9400715935 ISBN 13: 9789400715936
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 114,36
Envío por EUR 62,36
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoBuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - '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.
-
Embedded Systems Design Based on Formal Models of Computation (eng)
Librería: Brook Bookstore On Demand, Napoli, NA, Italia
Calificación del vendedor: 3 de 5 estrellas
EUR 86,24
Envío por EUR 5,50
Se envía de Italia a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: new. Questo è un articolo print on demand.
-
Embedded Systems Design Based on Formal Models of Computation
Idioma: Inglés
Publicado por Springer Netherlands Jun 2011, 2011
ISBN 10: 9400715935 ISBN 13: 9789400715936
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 106,99
Envío por EUR 23,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoBuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 200 pp. Englisch.
-
Embedded Systems Design Based on Formal Models of Computation
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 92,27
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoGebunden. Condición: 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.
-
Embedded Systems Design Based on Formal Models of Computation
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 147,07
Envío por EUR 7,53
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand pp. 200 114 Illus.
-
Embedded Systems Design Based on Formal Models of Computation
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 148,36
Envío por EUR 9,95
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. PRINT ON DEMAND pp. 200.
-
Embedded Systems Design Based on Formal Models of Computation
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 95,70
Envío por EUR 70,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoBuch. Condición: 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.
-
Embedded Systems Design Based on Formal Models of Computation
Idioma: Inglés
Publicado por Springer, Springer Jun 2011, 2011
ISBN 10: 9400715935 ISBN 13: 9789400715936
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 106,99
Envío por EUR 60,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoBuch. Condición: 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.
