System Specification and Design Languages: Selected Contributions from FDL 2010: 106 (Lecture Notes in Electrical Engineering, 106) - Hardcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
From the Back Cover
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.
- Covers design verification, automatic synthesis and mechanized debug aids;
- Includes language-based modeling and design techniques for embedded systems;
- Covers design, modeling and verification of mixed physical domain and mixed signal systems that include significant analog parts in electrical and non-electrical domains;
- Includes formal and semi-formal system level design methods for complex embedded systems based on the Unified Modelling Language (UML) and Model Driven Engineering (MDE).
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for System Specification and Design Languages: Selected...
Stock Image
System Specification and Design Languages. Selected Contributions from FDL 2010
Seller: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germany
Seller rating 5 out of 5 stars
xii, 254 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch. Seller Inventory # 801KB
Stock Image
System Specification and Design Languages : Selected Contributions from FDL 2010
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 268 | Sprache: Englisch | Produktart: Bücher | 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. Seller Inventory # 11009659/12
Stock Image
System Specification and Design Languages: Selected Contributions from FDL 2010 (Lecture Notes in Electrical Engineering, 106)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar2716030035317
Stock Image
System Specification and Design Languages: Selected Contributions from FDL 2010 (Lecture Notes in Electrical Engineering, 106)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9781461414261_new
Buy New
£ 144.30
Shipping:
£ 11.98
From United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
System Specification and Design Languages
Published by
Springer New York Dez 2011, 2011
ISBN 10: 1461414261
ISBN 13: 9781461414261
New
Hardcover
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 268 pp. Englisch. Seller Inventory # 9781461414261
Seller Image
System Specification and Design Languages
Print on DemandSeller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Covers design verification, automatic synthesis and mechanized debug aids Includes language-based modeling and design techniques for embedded systems Covers design, modeling and verification of mixed physical domain and mixed signal systems. Seller Inventory # 4197122
Stock Image
System Specification and Design Languages
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 268. Seller Inventory # 2637379468
Seller Image
System Specification and Design Languages | Selected Contributions from FDL 2010
Print on DemandSeller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. System Specification and Design Languages | Selected Contributions from FDL 2010 | Adam Morawiec (u. a.) | Buch | xii | Englisch | 2011 | Springer US | EAN 9781461414261 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. Seller Inventory # 106836230
Seller Image
System Specification and Design Languages
Published by
Springer New York, Springer New York Dez 2011, 2011
ISBN 10: 1461414261
ISBN 13: 9781461414261
New
Hardcover
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 268 pp. Englisch. Seller Inventory # 9781461414261
Stock Image
System Specification and Design Languages
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 268 127 Illus. Seller Inventory # 38658643