Embedded Software

Idioma: inglés

Editorial: Springer, Springer Sep 2002, 2002

354044307X / 9783540443070

  • Tapa blanda
  • Nuevo
Ver todos los detalles

Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemaniabuchversandmimpf2000

Vendedor de 5 estrellas

Vendedor de AbeBooks desde el 23 de enero de 2017

Tapa blanda

Condición: Nuevo

EUR 53,49

Envío por EUR 60,00 
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito
Devoluciones gratuitas de 30 días

Descripción del artículo del vendedor

This item is printed on demand - Print on Demand Titel. Neuware -Embedded Systems: Challenges in Specification and Verification.- An Approach to Designing Safe Embedded Software.- Can Behavioral Requirements Be Executed (And Why Would We Want to Do So ).- Platform-Based Embedded Software Design for Multi-vehicle Multi-modal Systems.- A Giotto-Based Helicopter Control System.- Principles of Real-Time Programming.- Time-Safety Checking for Embedded Programs.- Compositional Modeling in Metropolis.- Timed Interfaces.- Description and Schedulability Analysis of the Software Architecture of an Automated Vehicle Control System.- Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS.- Scalable Applications for Energy-Aware Processors.- Upgrading Embedded Software in the Field: Dependability and Survivability.- Real-Time Virtual Resource: A Timely Abstraction for Embedded Systems.- JCOD: A Lightweight Modular Compilation Technology for Embedded Java.- Decreasing Memory Overhead in Hard Real-Time Garbage Collection.- Speedup Prediction for Selective Compilation of Embedded Java Programs.- Synchronous Modelling of Asynchronous Systems.- A Protocol for Loosely Time-Triggered Architectures.- Automatic Production of Globally Asynchronous Locally Synchronous Systems.- Adaptive and Reflective Middleware for Distributed Real-Time and Embedded Systems.- Toward an Approximation Theory for Computerised Control.- A New Facility for Dynamic Control of Program Execution: DELI.- Design Tools for Application Specific Embedded Processors.- Processor Pipelines and Their Properties for Static WCET Analysis.- ILP-Based Interprocedural Path Analysis.- Enhancing Compiler Techniques for Memory Energy Optimizations.- FlexCC2: An Optimizing Retargetable C Compiler for DSP Processors.- Physical Programming: Beyond Mere Logic.- Processes, Interfaces and Platforms. Embedded Software Modeling in Metropolis.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 440 pp. Englisch.…

N° de ref. del artículo 9783540443070

Título
Embedded Software
Autor
Alberto Sangiovanni-Vincentelli
Editorial
Springer, Springer Sep 2002
Año de publicación
2002
Estado
Neu
Encuadernación
Taschenbuch
Idioma
inglés
ISBN 10
354044307X
ISBN 13
9783540443070
Peso del artículo
663 gramos
Dimensiones
235x155x24 mm

buchversandmimpf2000

Emtmannsberg, BAYE, Alemania

Vendedor de 5 estrellas

Vendedor de AbeBooks desde el 23 de enero de 2017

Tarifas de envío de Alemania a Estados Unidos de America

ArtículoDe 60 a 60 días hábilesDe 60 a 60 días hábiles
Primer artículoEUR 60,00EUR 75,00
Los plazos de entrega los establecen los vendedores y varían según el transportista y la ubicación. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relación con cargos adicionales para cubrir cualquier aumento en los costes de envío de los artículos.

Métodos de pago

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Cheque
  • PayPal

Descripción de la tienda

Impressum Thorsten Retsch Buchversand Mimpf2000 Oberölschnitz 16 95517 Emtmannsberg Deutschland Telefon: 09209-2023188 Email: mimpf2000@online.de USt-ID-Nr.: DE 235096871 Wir führen gebrauchte Bücher aus allen Sparten der Literatur

Especialidad

Modernes Antiquariat - Bücher von 1960 bis heute

Información empresarial del vendedor

buchversandmimpf2000

Alemania