Global Specification and Validation of Embedded Systems
Langue : anglais
Edité par Springer, 2007
- Livre relié
- Occasion

Vendeur : Biblios, frankfurt am main, hessen, AllemagneBiblios
Vendeur AbeBooks depuis 10 septembre 2024
Etat: Occasion
EUR 97,89
Quantité disponible : 1 disponible
Ajouter au panierA propos de cet article
pp. 164.
N° de réf. du vendeur 18300010
- Titre
- Global Specification and Validation of Embedded Systems
- Auteur
- Jerraya Ahmed A. Nicolescu G.
- Éditeur
- Springer
- Année de publication
- 2007
- État de l'article
- Used
- Reliure
- Couverture rigide
- Langue
- anglais
- ISBN à 10 chiffres
- 140206151X
- ISBN à 13 chiffres
- 9781402061516
Global Specification and Validation of Embedded Systems offers a deep understanding of concepts and practices behind the composition of heterogeneous components. After the analysis of existing computation and execution models used for the specification and validation of different sub-systems, the book introduces a systematic approach to build an execution model for systems composed of heterogeneous components. Mixed continuous/discrete and hardware/software systems will be used to illustrate these concepts. The benefit of reading this book is to give a clear vision on the theory and practice of specification and validation of complex modern systems. The examples give to the designers solutions applicable in their daily practice.
« Synopsis » peut appartenir à une autre édition de cet ouvrage.
À propos de l’auteur
Ahmed Amine Jerraya is Research Director with CNRS and is currently managing research dealing with Multiprocessor System-on-Chips at TIMA Laboratory, France. He received a degree in engineering from the University of Tunis in 1980 and the D.E.A., "Docteur Ingénieur", and the "Docteur d'Etat" degrees from the University of Grenoble in 1981, 1983, and 1989 respectively, all in computer sciences. From April 1990 to March 1991, he was a Member of the Scientific Staff at Nortel in Canada, working on linking system design tools and hardware design environments. He served as General Chair for the Conference DATE in 2001 and published more than 200 papers in International Conferences and Journals. He received the Best Paper Award at the 1994 ED&TC for his work on Hardware/Software Co-simulation.
Gabriela Nicolescu is currently professor at Ecole Polytechnique Montreal teaching embed systems design and real-time systems. She received a degree in engineering and Ms.S. from Polytechnic University of Romania in 1998 and "Docteur Ingénieur" degree from the University of Grenoble, France in 2002. Her research work is in the field of specification and validation of heterogeneous systems and multi-processor system-on-chip design. She published more then 40 papers in International Conference and Journals
« A propos de ce titre » peut appartenir à une autre édition de cet ouvrage.
Biblios
frankfurt am main, hessen, Allemagne
Vendeur AbeBooks depuis 10 septembre 2024
Frais d'expédition de Allemagne vers Etats-Unis
| Article | 25 à 45 jours ouvrés | 8 à 14 jours ouvrés |
|---|---|---|
| Premier article | EUR 9,95 | EUR 18,70 |
Modes de paiement
Description de la boutique
We carry a wide selection of books from South Asia, United States, UK.
Spécialité
new books imported from india, uk, usaProfil professionnel du vendeur
Readingos GmbH
Kaiserstraße 47
Frankfurt am Main, Allemagne 60329
Droit de rétractation
Si vous êtes un consommateur, vous pouvez exercer votre droit de rétractation sur le contrat conformément à ce qui suit. Le mot « consommateur » désigne toute personne physique agissant à des fins qui n'entrent pas dans le cadre de son activité commerciale, artisanale ou professionnelle.
Informations concernant le droit de rétractation
Droit statutaire de rétractation
Vous avez le droit d'exercer votre droit de rétractation sur ce contrat dans les 14 jours sans donner de raison.
Le délai de rétractation expirera au bout de 14 jours à compter du jour où vous-même, ou un tiers autre que le transporteur et désigné par vous, prendrez physiquement possession de la dernière marchandise, du dernier lot ou de la dernière pièce.
Pour exercer votre droit de rétractation, remplissez électroniquement et envoyez une déclaration claire sur notre site Web, sous « Vos achats » dans « Votre compte ». Nous vous communiquerons sans délai un accusé de réception de cette rétractation sur un support durable (par exemple, par e-mail).
Pour respecter le délai de rétractation, il vous suffit d'envoyer votre message concernant l'exercice de votre droit de rétractation avant l'expiration du délai de rétractation.
Effets de la rétractation
Si vous exercez votre droit de rétractation sur ce contrat, nous vous rembourserons tous les paiements que vous avez effectués, y compris les frais de livraison (à l'exception des frais supplémentaires résultant du choix d'un mode de livraison autre que le type de livraison standard le moins cher que nous proposons).
Nous pouvons déduire du remboursement la perte de valeur de toute marchandise livrée, si la perte est le résultat d'une manipulation inutile de votre part.
Nous effectuerons le remboursement dans les meilleurs délais, et au plus tard 14 jours après le jour où nous aurons été informés de votre décision d'exercer votre droit de rétractation sur ce contrat.
Nous effectuerons le remboursement en utilisant le même moyen de paiement que celui que vous avez utilisé pour la transaction initiale, sauf si vous en avez expressément convenu autrement ; en tout état de cause, aucuns frais ne vous seront facturés à la suite d'un tel remboursement.
Nous pouvons suspendre le remboursement jusqu'à ce que nous ayons reçu les marchandises ou que vous ayez fourni la preuve que vous avez renvoyé les marchandises, en fonction de la première éventualité.
Vous devez renvoyer les marchandises ou les remettre à Biblios, frankfurt am main, Germany, sans retard injustifié et, en tout état de cause, au plus tard 14 jours à compter du jour où vous nous avez communiqué votre décision de rétractation du présent contrat. Le délai est respecté si vous renvoyez les marchandises avant l'expiration du délai de 14 jours. Vous devrez prendre en charge les frais directs du renvoi des marchandises. Vous n'êtes responsable que de toute diminution de valeur des marchandises résultant d'une manipulation autre que celle nécessaire pour établir la nature, les caractéristiques et le fonctionnement des marchandises.
Exceptions au droit de rétractation
Le droit de rétractation ne s'applique pas à ce qui suit :
- Distribution de journaux, de revues ou de magazines, à l'exception des contrats d'abonnement ; et
- Fourniture d'un contenu numérique qui n'est pas fourni sur un support matériel (par exemple, sur un CD ou un DVD) si vous avez accepté, lors de votre commande, que nous puissions commencer à le livrer et que vous ne puissiez pas exercer votre droit de rétractation une fois la livraison commencée.