Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Livros em inglês > Tecnologia, Engenharia & Agricultura > Eletrónica & engenharia das comunicações > Engenharia eletrónica > Eletrónica: circuitos e componentes > Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems

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-Verlag New York Inc.
SKU: 01417350
Price: 160.12 EUR
Availability: InStock
Author: S. Ramesh
ISBN: 9781402062537

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

S. Ramesh

P. Sampath

Língua

Inglês

Livro Livro de capa dura

Código Libristo: 01417350

Editoras Springer-Verlag New York Inc., agosto 2007

This volume is the proceedings of the workshop Next Generation Design and Verification Methodologies... Descrição completa

Código Libristo: 01417350

387 b

160.12 €

Armazenamento externalo em pequenas quantidades Envio em 11-15 dias

Até 30 dias para devoluções

Os clientes também compraram

Senza paura. Reckless. Limited edition Elsie Silver

Capa mole

13.37 €

V džungli Bav se a dotkni se Wojciech Stachyra

Livro concertina

8.81 €

Akademia Crookhaven. Szkoła oszustów. Tom 1 J. J. Arcanjo

Capa mole

7.08 €

André Kertész Seclier

Capa mole

14.89 €

Considerations sur les moeurs de ce siecle. 6e edition Charles Duclos

Capa mole

26.54 €

Albert Einstein 1 Marián Olejár

Capa mole

2.22 €

El Extranjero (Spanish Edition) Albert Camus

Capa mole

9.52 €

Perspectivas sociales y conocimiento Miguel Beltrán Villalva

Capa mole

18.54 €

Nebožtík Ondřej Horák

Livro de capa dura

5.87 €

Machiavelli und die Mechanik der Macht Hejar Atalan

Capa mole

14.28 €

Plan de Seguridad Informatica para Entidades Financieras Edith Cordova Rodriguez

Capa mole

53.80 €

C# Golo Roden

Livro

43.97 €

Die Aquitaine-Verschworung Robert Ludlum

Capa mole

9.72 €

S Blbounem za velkým dobrodružstvím Renata Petříčková

CD de áudio

5.16 €

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.