Hardcover. Thisbook brings together a selection of the best papers from the eighteenth editionof the Forum on specification and Design Languages Conference (FDL), which tookplace on September 14-16, 2015, in Barcelona, Spain. FDL is a well-established international forumdevoted to dissemination of research results, practical experiences and newideas in the application of specification, design and verification languages tothe design, modeling and verification of integrated circuits, complexhardware/software embedded systems, and mixed-technology systems. FDL is a well-established international forumdevoted to dissemination of research results, practical experiences and newideas in the application of specification, design and verification languages tothe design, modeling and verification of integrated circuits, complexhardware/software embedded systems, and mixed-technology systems. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

Codice articolo 9783319317229

Contatta il venditore

Segnala questo articolo

Dati bibliografici

Titolo: Languages, Design Methods, and Tools for Electronic System Design (Hardcover)
Editore: Springer International Publishing AG, Cham
Data di pubblicazione: 2016
Lingua: Inglese
ISBN 10: 3319317229
ISBN 13: 9783319317229
Rilegatura: Hardcover
Edizione: prima edizione
Condizione: new

Descrizione articolo

Riassunto

Thisbook brings together a selection of the best papers from the eighteenth editionof the Forum on specification and Design Languages Conference (FDL), which tookplace on September 14-16, 2015, in Barcelona, Spain. FDL is a well-established international forumdevoted to dissemination of research results, practical experiences and newideas in the application of specification, design and verification languages tothe design, modeling and verification of integrated circuits, complexhardware/software embedded systems, and mixed-technology systems.

Informazioni sull?autore

RolfDrechsler is head of Cyber-Physical Systems department at the German ResearchCenter for Artificial Intelligence (DFKI) since 2011. Furthermore, he is a FullProfessor at the Institute of Computer Science, University of Bremen, since2001. Before, he worked for the Corporate Technology Department of Siemens AG,and was with the Institute of Computer Science, Albert-Ludwig University ofFreiburg/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 hisresearch at DFKI and in the Group for Computer Architecture, which he isheading at the Institute of Computer Science of the University of Bremen, onthe development and design of data structures and algorithms with an emphasison circuit and system design.

RolfDrechsler has been and still is a member of the Program Committees of numerousconferences (including e.g. DAC, ICCAD, DATE, ASP-DAC, FDL, MEMOCODE, FMCAD)and is co-founder of the Graduate School of Embedded Systems which started in2006. Since 2012, he additionally coordinates the Graduate School SystemDesign.

Hehas received Best Paper Awards from numerous international scientificconferences, e.g.: Haifa Verification Conference (HVC) 2006, Forum onSpecification & Design Languages (FDL) 2007 and 2010, IEEE Symposium onDesign and Diagnostics of Electronic Circuits and Systems (DDECS) 2010,IEEE/ACM International Conference on Computer-Aided Design (ICCAD) 2013.

RobertWille is Full Professor at the Johannes Kepler University Linz.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

Visita la pagina della libreria

Informazioni sull?azienda del venditore

APOLLO ONLINE CORP.
605 Geddes Street, Wilmington, DE, 19805, U.S.A.

Condizioni di vendita e spedizione

Condizioni di vendita

We guarantee the condition of every book as it�s described on the Abebooks web sites. If you�ve changed
your mind about a book that you�ve ordered, please use the Ask bookseller a question link to contact us
and we�ll respond within 2 business days.
Books ship from California and Michigan.

Diritto di recesso

Condizioni di spedizione

Orders usually ship within 2 business days. All books within the US ship free of charge. Delivery is 4-14 business days anywhere in the United States.

Books ship from California and Michigan.

If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Tariffe di spedizione nazionale per U.S.A.

Tariffe di spedizione nazionale per U.S.A.
Quantit� dell?ordine	Da 6 a 16 giorni lavorativi	Da 6 a 14 giorni lavorativi
Primo articolo	EUR 0.00	EUR 0.00

I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.