Languages, Design Methods, and Tools for Electronic System Design

Selected Contributions from FDL 2015

Nonfiction, Science & Nature, Technology, Electronics, Circuits, Computers, Advanced Computing, Engineering, Computer Architecture
Cover of the book Languages, Design Methods, and Tools for Electronic System Design by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319317236
Publisher: Springer International Publishing Publication: May 30, 2016
Imprint: Springer Language: English
Author:
ISBN: 9783319317236
Publisher: Springer International Publishing
Publication: May 30, 2016
Imprint: Springer
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer International Publishing

Cover of the book Privacy, Data Protection and Cybersecurity in Europe by
Cover of the book String Processing and Information Retrieval by
Cover of the book Computer Security -- ESORICS 2015 by
Cover of the book Predictive Econometrics and Big Data by
Cover of the book Transnational Histories of the 'Royal Nation' by
Cover of the book Functional Molecular Silicon Compounds I by
Cover of the book The Political Economy of the Low-Carbon Transition by
Cover of the book Automatic Processing of Natural-Language Electronic Texts with NooJ by
Cover of the book Molecular Mechanisms of Cell Differentiation in Gonad Development by
Cover of the book Beyond Classical Physics by
Cover of the book Turkish Foreign Policy by
Cover of the book Service Operations Dynamics by
Cover of the book The Life of José María Sobral by
Cover of the book Nano-photonics in III-V Semiconductors for Integrated Quantum Optical Circuits by
Cover of the book Cloud Computing and Big Data by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy