- 5 resultaten
laagste prijs: € 166,82, hoogste prijs: € 235,11, gemiddelde prijs: € 189,91
1
Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007 - Sampath, P. (Herausgeber); Ramesh, S. (Herausgeber)
bestellen
bij Achtung-Buecher.de
€ 166,82
verzending: € 0,001
bestellenGesponsorde link
Sampath, P. (Herausgeber); Ramesh, S. (Herausgeber):

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007 - pocketboek

2010, ISBN: 9048175836

gebonden uitgave

Softcover reprint of hardcover 1st ed. 2007 Kartoniert / Broschiert Software Engineering, Theoretische Informatik, Computermodellierung und -simulation, Analysis; Hardware; Performance;… Meer...

Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
2
Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007 - Sampath, P. (Herausgeber); Ramesh, S. (Herausgeber)
bestellen
bij Achtung-Buecher.de
€ 166,82
verzending: € 0,001
bestellenGesponsorde link

Sampath, P. (Herausgeber); Ramesh, S. (Herausgeber):

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007 - pocketboek

2010, ISBN: 9048175836

gebonden uitgave

Softcover reprint of hardcover 1st ed. 2007 Kartoniert / Broschiert Software Engineering, Theoretische Informatik, Computermodellierung und -simulation, Analysis; Hardware; Performance;… Meer...

Verzendingskosten:Geen versendingskosten in Duitsland. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
3
Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007 - Sampath, P. (Herausgeber); Ramesh, S. (Herausgeber)
bestellen
bij Achtung-Buecher.de
€ 166,82
verzending: € 0,001
bestellenGesponsorde link
Sampath, P. (Herausgeber); Ramesh, S. (Herausgeber):
Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007 - pocketboek

2010

ISBN: 9048175836

gebonden uitgave

Softcover reprint of hardcover 1st ed. 2007 Kartoniert / Broschiert Software Engineering, Theoretische Informatik, Computermodellierung und -simulation, Analysis; Hardware; Performance;… Meer...

Verzendingskosten:No shipping costs within Germany. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
4
Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems
bestellen
bij Hugendubel.de
€ 213,99
verzending: € 0,001
bestellenGesponsorde link
Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems - pocketboek

2007, ISBN: 9048175836

gebonden uitgave

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems ab 213.99 € als Taschenbuch: Proceedings of the GM R&D Workshop Bangalore India January 2007… Meer...

Nr. 13790603. Verzendingskosten:, , DE. (EUR 0.00)
5
bestellen
bij alibris.co.uk
€ 235,11
bestellenGesponsorde link
Ramesh, S. (Editor), and Sampath, P. (Editor):
Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems: Proceedings of the GM R&D Workshop, Bangalore, India, January 2007 - pocketboek

2010, ISBN: 9789048175833

Paperback, New., 300 p. XXIV, 300 p. Intended for professional and scholarly audience., Dordrecht, [PU: Springer]

Verzendingskosten:exclusief verzendingskosten Sparks, NV, Alibris

1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.

Bibliografische gegevens van het best passende boek

Bijzonderheden over het boek
Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems: Proceedings of the GM R&D Workshop, Bangalore, India, January 2007

This volume is the proceedings of a workshop organized by General Motors research and development laboratory in Bangalore, India. It was the first of its kind to be run 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. It covered all areas of embedded systems development.

Gedetalleerde informatie over het boek. - Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems: Proceedings of the GM R&D Workshop, Bangalore, India, January 2007


EAN (ISBN-13): 9789048175833
ISBN (ISBN-10): 9048175836
Gebonden uitgave
pocket book
Verschijningsjaar: 2010
Uitgever: Ramesh, S. Sampath, P. Springer
324 Bladzijden
Gewicht: 0,491 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2011-04-14T18:28:17+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2024-01-28T11:28:09+01:00 (Amsterdam)
ISBN/EAN: 9789048175833

ISBN - alternatieve schrijfwijzen:
90-481-7583-6, 978-90-481-7583-3
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: werner
Titel van het boek: hugo, proceedings all india, distributed control systems, design embedded systems, next generation, design the


Gegevens van de uitgever

Auteur: S. Ramesh; P. Sampath
Titel: Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems - Proceedings of the GM R&D Workshop, Bangalore, India, January 2007
Uitgeverij: Springer; Springer Netherland
300 Bladzijden
Verschijningsjaar: 2010-10-19
Dordrecht; NL
Gedrukt / Gemaakt in
Taal: Engels
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
POD
XXIV, 300 p.

BC; Hardcover, Softcover / Technik/Elektronik, Elektrotechnik, Nachrichtentechnik; Schaltkreise und Komponenten (Bauteile); Verstehen; Analysis; Hardware; Performance; algorithms; complexity; formal method; formal specification; integrated circuit; linear optimization; modeling; static-induction transistor; verification; Electronic Circuits and Systems; Theory of Computation; Software Engineering; Computer Modelling; Mathematical Applications in Computer Science; Theoretische Informatik; Software Engineering; Computermodellierung und -simulation; BB; EA

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.
Contains recent research results Contributions from top researchers from industry and academia Focused on distributed embedded systems

< naar Archief...