Importe total (1 artículo artículos):
Destino del pedido:
specification design embedded systems (142 resultados)
Comentarios
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (142)
- 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
Encuadernación
Más atributos
- Primera edición (1)
- 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 (46)
- No impresión bajo demanda (116)
Idioma (2)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Embedded Realâ"Time Systems: A Specification and Design Methodology (Wiley Series in Software Engineering Practice)
Librería: WeBuyBooks, Rossendale, LANCS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 9,22
Convertir monedaEUR 10,64 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned. Ex library copy with usual stamps & stickers.
Más opciones de compra de otros vendedores en IberLibro
Usado desde EUR 19,86
Encuentre también Tapa dura Original o primera edición
-
Specification and Design of Embedded Systems
Librería: medimops, Berlin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 21,79
Convertir monedaEUR 6,00 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
Más opciones de compra de otros vendedores en IberLibro
Usado desde EUR 27,79
Encuentre también Tapa dura Tapa blanda
-
UML-B Specification for Proven Embedded Systems Design. The ChDL series.
Publicado por Kluwer Academic Publishers.
Idioma: Inglés
Librería: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Alemania
Miembro de asociación: GIAQ
Calificación del vendedor: 5 de 5 estrellas
EUR 16,90
Convertir monedaEUR 11,00 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Wie neu. Auflage: 2004. 309 S., Really new. Shrink wrapped. / Neuwertiger Zustand. In Folie verschweißt. Sprache: Englisch Gewicht in Gramm: 840.
-
UML-B Specification for Proven Embedded Systems Design
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 36,51
Convertir monedaEUR 10,22 gastos de envío desde Reino Unido a EspañaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 316 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 46,73
Usado desde EUR 76,42
Encuentre también Tapa dura
-
Specification and Design Methodology for Real-time Embedded Systems
Publicado por Kluwer Academic Publishers, 2001
ISBN 10: 0792376269 ISBN 13: 9780792376262
Idioma: Inglés
Librería: New Book Sale, London, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 41,65
Convertir monedaEUR 10,40 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: New. Usually Dispatched within 1-2 Business Days , Buy with confidence , excellent customer service.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 52,05
Usado desde EUR 75,92
Encuentre también Tapa dura
-
Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL'08 (Lecture Notes in Electrical Engineering)
Librería: The Dawn Treader Book Shop, Ann Arbor, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 30,72
Convertir monedaEUR 34,09 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Near Fine. Previous owner's name at head of spine. Otherwise near fine.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 164,80
Usado desde EUR 64,81
Encuentre también Tapa dura
-
Specification and design of embedded systems(Chinese Edition)
Librería: liu xing, Nanjing, JS, China
Calificación del vendedor: 5 de 5 estrellas
EUR 54,15
Convertir monedaEUR 12,78 gastos de envío desde China a EspañaCantidad disponible: 3 disponibles
Añadir al carritopaperback. Condición: New. Language:Chinese.Paperback. Publisher: China Machine Press. This book introduces the basic concepts of embedded systems and the actual description and design methods. including.
-
Embedded Systems Specification and Design Languages: Selected Contributions from Fdl'07
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 14,90 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 96,06
Usado desde EUR 91,11
Encuentre también Tapa dura
-
Advances In Design And Specification Languages For Embedded Systems
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 96,06
Convertir monedaGratis gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 96,06
Usado desde EUR 112,63
Encuentre también Tapa dura
-
Embedded Systems Specification and Design Languages
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 92,27
Convertir monedaEUR 19,49 gastos de envío desde Alemania a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 111,76
Encuentre también Tapa blanda
-
Advances in Design Methods from Modeling Languages for Embedded Systems and Soc's: Selected Contributions on Specification, Design, and Verification f
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 164,80
Usado desde EUR 112,63
Encuentre también Tapa dura
-
Specification and Design Methodology for Real-Time Embedded Systems
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 112,01
Convertir monedaEUR 5,19 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 111,76
Encuentre también Tapa blanda
-
Advances in Design Methods from Modeling Languages for Embedded Systems and SoC's: Selected Contributions on Specification, Design, and Verification ... (Lecture Notes in Electrical Engineering, 63)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 165,67
Convertir monedaEUR 5,19 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 170,86
Usado desde EUR 263,31
Encuentre también Tapa blanda
-
Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL'08 (Lecture Notes in Electrical Engineering, 36)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 165,67
Convertir monedaEUR 5,19 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 170,86
Usado desde EUR 256,17
Encuentre también Tapa blanda
-
Advances in Design and Specification Languages for Embedded Systems: Selected Contributions from FDL'06
Librería: Best Price, Torrance, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 148,20
Convertir monedaEUR 25,55 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 2 disponibles
Añadir al carritoCondición: New. SUPER FAST SHIPPING.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 155,65
Usado desde EUR 256,17
Encuentre también Tapa blanda
-
UML-B Specification for Proven Embedded Systems Design
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 164,49
Convertir monedaEUR 11,99 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents the perspective of the project on a Paradigm Unifying System Specification Environments for proven Electronic design (PUS SEE) as conceived in the course of the research during 2002 -2003. The initial statement of the research was formulated as follows: The objective of PUSSEE is to introduce the formal proof of system properties throughout a modular system design methodology that integrates sub-systems co-verification with system refinement and reusability of virtual system components. This will be done by combining the UML and B languages to allow the verification of system specifications through the composition of proven sub-systems (in particular interfaces, using the VSIAISLIF standard). The link of B with C, VHDL and SystemC will extend the correct-by-construction design process to lower system-on-chip (SoC) development stages. Prototype tools will be developed for the code generation from UML and B, and existing B verification tools will be extended to supportIP reuse, according to the VSI Alliance work. The methodology and tools will be validated through the development of three industrial applications: a wireless mobile terminal-a telecom system-on-chip based on HIPERLANI2 protocol and an anti-collision module for automobiles. The problem was known to be hard and the scope ambitious. But the seventeen chapters that follow, describing the main results obtained demonstrate the success of the research, acknowledged by the European reviewers. They are released to allow the largest audience to learn and take benefit of.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 155,65
Usado desde EUR 276,39
Encuentre también Tapa blanda
-
Specification and Design Methodology for Real-Time Embedded Systems
Publicado por Springer, 2001
ISBN 10: 1588294234 ISBN 13: 9781588294234
Librería: HPB-Red, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 56,67
Convertir monedaEUR 92,04 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritohardcover. Condición: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
