Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

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: 183.95 EUR
Availability: InStock
Author: S. Ramesh
ISBN: 9781402062537

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

S. Ramesh

P. Sampath

Език

Английски език

Книга С твърди корици

Код Либристо: 01417350

Издателство Springer-Verlag New York Inc., август 2007

This volume is the proceedings of the workshop Next Generation Design and Verification Methodologies... Цялото описание

Код Либристо: 01417350

444 b

183.95 €

359.77 лв

Външен склад в ограничено количество Изпращаме след 11-15 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

Senza paura. Reckless. Limited edition Elsie Silver

С меки корици

13.31 € 26.04 лв

V džungli Bav se a dotkni se Wojciech Stachyra

Дипляна

11.34 € 22.18 лв

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

С меки корици

9.06 € 17.73 лв

André Kertész Seclier

С меки корици

17.92 € 35.06 лв

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

С меки корици

29.22 € 57.15 лв

Albert Einstein 1 Marián Olejár

С меки корици

2.48 € 4.85 лв

El Extranjero (Spanish Edition) Albert Camus

С меки корици

10.62 € 20.77 лв

Perspectivas sociales y conocimiento Miguel Beltrán Villalva

С меки корици

22.43 € 43.87 лв

Nebožtík Ondřej Horák

С твърди корици

7.51 € 14.69 лв

Machiavelli und die Mechanik der Macht Hejar Atalan

С меки корици

17.15 € 33.54 лв

Plan de Seguridad Informatica para Entidades Financieras Edith Cordova Rodriguez

С меки корици

63.16 € 123.53 лв

C# Golo Roden

Книга

50.52 € 98.80 лв

Die Aquitaine-Verschworung Robert Ludlum

С меки корици

11.50 € 22.49 лв

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

Аудио компактдиск

5.64 € 11.04 лв

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.