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: 181.49 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

444 b

181.49 €

Almacenamiento externo en pequeñas cantidades Envío en 13-18 días

Política de devolución de 30 días

Clientes que también han comprado

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

Tapa blanda

28.19 €

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

Tapa blanda

65.69 €

Bruno Groening - Das Lehrbuch Theo Von Hofstede

Tapa blanda

42.49 €

Datenbanken Frank Geisler

Tapa blanda

32.79 €

Technomusik, Festivals und die zugehoerigen Marken Paul Oczenaschek

Tapa blanda

57.39 €

Schizophrenie Gudrun Sartory

Tapa dura

34.39 €

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

Tapa blanda

13.99 €

Designblok magazine 2015

Tapa blanda

9.59 €

Berufsfeld Lager Ruth Albert

Tapa blanda

14.39 €

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

Tapa blanda

3.79 €

El carnaval de los ladrones Sonia Delmas

Tapa blanda

16.29 €

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.