Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis

Envío gratuito con Zásilkovna para compras superiores a 59.99 €

Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems

Name: Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems
Brand: Springer
SKU: 01975729
Price: 169.09 EUR
Availability: InStock
Author: S. Ramesh
ISBN: 9789048175833

Proceedings of the GM R&D Workshop, Bangalore, India, January 2007

S. Ramesh

P. Sampath

Idioma

Inglés

Libro Tapa blanda

Código Libristo: 01975729

Editores Springer, octubre 2010

This volume is the proceedings of the workshop Next Generation Design and Verification Methodologies... Descripción completa

Código Libristo: 01975729

414 b

169.09 €

Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Psychodrama Peter Soppa

Tapa blanda

56.99 €

Návrat Krále Šumavy Opona se zatahuje Vojtěch Mašek

Tapa blanda

13.99 €

Těšit se je nejhezčí Petr Vrbacký

Tapa blanda

3.99 €

I Primi Bolognesi Che Scrissero Rime Italiane (1875) Salvatore Muzzi

Tapa blanda

21.00 €

Conni Gelbe Reihe (Beschäftigungsbuch): Herausgefunden! Labyrinthe-Rätsel-Spaß Ulrich Velte

Tapa blanda

7.29 €

De Scholiis Ad Homerum Rhetoricis Georg Lehnert

Tapa blanda

19.39 €

Schizophrenie Gudrun Sartory

Tapa dura

34.19 €

Las Meninas de Diego Velázquez: un exemple de pathosformel Norbert-Bertrand Barbe

Tapa blanda

29.70 €

Technomusik, Festivals und die zugehoerigen Marken Paul Oczenaschek

Tapa blanda

37.49 €

Messtechnische Untersuchungen UEber Die Eignung Eines Neuen Schnellverfahrens Zur Ermittlung Der Reisskraft Von Fortlaufend Bewegten Faden Bzw. Gespin Herbert Stein

Tapa blanda

58.19 €

El carnaval de los ladrones Sonia Delmas

Tapa blanda

16.30 €

Kantaten BWV 46 & 102/Lamentationes Ieremiae Proph Ponseele/Il Gardellino

CD de audio

26.19 €

Datenbanken Frank Geisler

Tapa blanda

29.69 €

Bruno Groening - Das Lehrbuch Theo Von Hofstede

Tapa blanda

28.69 €

Chronique Du Regne de Charles IX (Ed.1890) Prosper Merimee

Tapa blanda

28.59 €

Designblok magazine 2015

Tapa blanda

9.59 €

Berufsfeld Lager Ruth Albert

Tapa blanda

14.39 €

This volume is the proceedings of the workshop Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems organised by General Motors R&D, India Science Lab. The workshop was held on January 5-6 2007 at the NIAS auditorium, IISc campus, Bangalore, India. This workshop is the first of its kind to be organised by an automotive major to bring together the leaders in the field of embedded systems development to present state-of-the-art work, and to discuss future strategies for addressing the increasing complexity of embedded control systems. The workshop consisted of invited talks given by leading experts and researchers from academic and industrial organizations. The workshop covered all areas of embedded systems development and in particular:§Formal specification and verification of distributed, heterogeneous, embedded systems§Formal semantics of modeling languages§Model-based specification and testing§Formal approach to component based development§Software product line engineering§Automatic code generation for distributed, embedded systems.