Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2015: 385 (Lecture Notes in Electrical Engineering)
Langue : anglais
Edité par Springer, 2018
Série : Livre 197 sur 548 - Lecture Notes in Electrical Engineering
- Livre broché
- Neuf

Vendeur : Books Puddle, New York, NY, Etats-UnisBooks Puddle
Vendeur AbeBooks depuis 22 novembre 2018
Etat: Neuf
EUR 72,51
Quantité disponible : 4 disponible(s)
Ajouter au panierItem description from seller
pp. 204 Softcover reprint of the original 1st ed. 2016 edition NO-PA16APR2015-KAP.
N° de réf. du vendeur 26379359043
- Titre
- Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2015: 385 (Lecture Notes in Electrical Engineering)
- Éditeur
- Springer
- Année de publication
- 2018
- État de l'article
- New
- Reliure
- Couverture souple
- Langue
- anglais
- ISBN à 10 chiffres
- 3319811061
- ISBN à 13 chiffres
- 9783319811062
- Série
- Livre 197 sur 548: Lecture Notes in Electrical Engineering
This book brings together a selection of the best papers from the eighteenth edition of the Forum on specification and Design Languages Conference (FDL), which took place on September 14-16, 2015, in Barcelona, Spain. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modeling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems.
« Synopsis » peut appartenir à une autre édition de cet ouvrage.
À propos de l’auteur
Rolf Drechsler is head of Cyber-Physical Systems department at the German Research Center for Artificial Intelligence (DFKI) since 2011. Furthermore, he is a Full Professor at the Institute of Computer Science, University of Bremen, since 2001. Before, he worked for the Corporate Technology Department of Siemens AG, and was with the Institute of Computer Science, Albert-Ludwig University of Freiburg/Breisgau, Germany. Rolf Drechsler received the Diploma and Dr. Phil. Nat. degrees in computer science from the Goethe-University in Frankfurt/Main, Germany, in 1992 and, respectively, 1995. Rolf Drechsler focusses in his research at DFKI and in the Group for Computer Architecture, which he is heading at the Institute of Computer Science of the University of Bremen, on the development and design of data structures and algorithms with an emphasis on circuit and system design.
Rolf Drechsler has been and still is a member of the Program Committees of numerous conferences (including e.g. DAC, ICCAD, DATE, ASP-DAC, FDL, MEMOCODE, FMCAD) and is co-founder of the Graduate School of Embedded Systems which started in 2006. Since 2012, he additionally coordinates the Graduate School System Design.He has received Best Paper Awards from numerous international scientific conferences, e.g.: Haifa Verification Conference (HVC) 2006, Forum on Specification & Design Languages (FDL) 2007 and 2010, IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) 2010, IEEE/ACM International Conference on Computer-Aided Design (ICCAD) 2013.
Robert Wille is Full Professor at the Johannes Kepler University Linz.
« A propos de ce titre » peut appartenir à une autre édition de cet ouvrage.
Books Puddle
New York, NY, Etats-Unis
Vendeur AbeBooks depuis 22 novembre 2018
Frais d'expédition à l'intérieur de ce pays : Etats-Unis
| Article | 12 à 19 jours ouvrés | 12 à 14 jours ouvrés |
|---|---|---|
| Premier article | EUR 3,47 | EUR 6,09 |
Modes de paiement
Description de la boutique
I mainly carry imported books from South East Asia / South Asia for readers of all Age Groups.
Spécialité
South Asian and South East Asian Culture, Religion, Art etcProfil professionnel du vendeur
PLETOS INC
6931 51st Avenue, WOODSIDE
Woodside, NY Etats-Unis 11377
Conditions de vente
We accept return for those books which are received damamged. Though we take appropriate care in packaing to avoid such situation.
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 à Books Puddle, New York, New York, U.S.A., 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.