System Specification and Design Languages

Selected Contributions from FDL 2010

Nonfiction, Science & Nature, Technology, Electronics, Circuits
Cover of the book System Specification and Design Languages by , Springer New York
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9781461414278
Publisher: Springer New York Publication: December 2, 2011
Imprint: Springer Language: English
Author:
ISBN: 9781461414278
Publisher: Springer New York
Publication: December 2, 2011
Imprint: Springer
Language: English

This book brings together a selection of the best papers from the thirteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in Southampton, UK in September 2010.  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, modelling 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 thirteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in Southampton, UK in September 2010.  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, modelling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems.

More books from Springer New York

Cover of the book Diagnostics Methods in Clinical Thyroidology by
Cover of the book Geolocation of RF Signals by
Cover of the book The Six-Inch Lunar Atlas by
Cover of the book Pathologic Myopia by
Cover of the book A Student's Guide Through the Great Physics Texts by
Cover of the book Pathology of the Stomach and Duodenum by
Cover of the book Thermal Energy Harvesting for Application at MEMS Scale by
Cover of the book Full Stride by
Cover of the book Atlas of Neurosurgical Anatomy by
Cover of the book Variceal Hemorrhage by
Cover of the book BOLD fMRI by
Cover of the book Principles of Musical Acoustics by
Cover of the book Dynamics of Information Systems: Algorithmic Approaches by
Cover of the book Modeling Markets by
Cover of the book Optimal Stochastic Control, Stochastic Target Problems, and Backward SDE 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