Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Cărți în limba engleză > Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Electronics: circuits & components > 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: 925.17 RON
Availability: InStock
Author: S. Ramesh
ISBN: 9781402062537

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

S. Ramesh

P. Sampath

Limba

engleză

Carte Copertă tare

Codul Libristo: 01417350

Editura Springer-Verlag New York Inc., august 2007

This volume is the proceedings of the workshop Next Generation Design and Verification Methodologies... Descrierea completă

Codul Libristo: 01417350

425 b

925.17 lei

În depozitul extern în cantități mici Expediem în 13-18 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

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

Carte broșată

160.82 lei

Albert Einstein 1 Marián Olejár

Carte broșată

12.22 lei

André Kertész Seclier

Carte broșată

88.61 lei

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

Carte broșată

44.61 lei

V džungli Bav se a dotkni se Wojciech Stachyra

Cărți pliante

54.65 lei

Senza paura. Reckless. Limited edition Elsie Silver

Carte broșată

139.71 lei

El Extranjero (Spanish Edition) Albert Camus

Carte broșată

58.51 lei

Perspectivas sociales y conocimiento Miguel Beltrán Villalva

Carte broșată

112.33 lei

Nebožtík Ondřej Horák

Copertă tare

36.36 lei

Machiavelli und die Mechanik der Macht Hejar Atalan

Carte broșată

90.07 lei

Tourisme Et Collectivite Territoriale Ido-B

Carte broșată

179.11 lei

Plan de Seguridad Informatica para Entidades Financieras Edith Cordova Rodriguez

Carte broșată

293.13 lei

C# Golo Roden

Carte

236.38 lei

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

Audio CD

28.31 lei

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.