Languages, Design Methods, and Tools for Electronic System Design

Selected Contributions from FDL 2013

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: 9783319063171
Publisher: Springer International Publishing Publication: August 21, 2014
Imprint: Springer Language: English
Author:
ISBN: 9783319063171
Publisher: Springer International Publishing
Publication: August 21, 2014
Imprint: Springer
Language: English

This book brings together a selection of the best papers from the sixteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in September 2013 in Paris, France. 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 sixteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in September 2013 in Paris, France. 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 Mobile, Secure, and Programmable Networking by
Cover of the book Interpreting Health Benefits and Risks by
Cover of the book Robot Operating System (ROS) by
Cover of the book Recapturing Space: New Middle-Range Theory in Spatial Demography by
Cover of the book Prostatitis and Its Management by
Cover of the book Proceedings of the 3rd International Symposium on Big Data and Cloud Computing Challenges (ISBCC – 16’) by
Cover of the book Assessing Contexts of Learning by
Cover of the book How Crises Shaped Economic Ideas and Policies by
Cover of the book Mathematical Models for Remote Sensing Image Processing by
Cover of the book Computational Musicology in Hindustani Music by
Cover of the book Sustainable Cloud and Energy Services by
Cover of the book Lattice QCD for Nuclear Physics by
Cover of the book The Dirac Equation in Curved Spacetime by
Cover of the book Soft Computing Techniques in Engineering Applications by
Cover of the book Logic Synthesis for FPGA-Based Finite State Machines 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