Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2013: 311 (Lecture Notes in Electrical Engineering, 311) - Hardcover
Synopsis
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.
"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 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.
• Covers applications of formal methods for specification, verification and debug;
• Includes embedded analog and mixed-signal system design;
• Enables model-driven engineering for embedded systems design and development.
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Languages, Design Methods, and Tools for Electronic...
Seller Image
Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2013: 311 (Lecture Notes in Electrical Engineering, 311)
Seller: WeBuyBooks, Rossendale, LANCS, United Kingdom
Seller rating 5 out of 5 stars
Condition: Like New. Most items will be dispatched the same or the next working day. An apparently unread copy in perfect condition. Dust cover is intact with no nicks or tears. Spine has no signs of creasing. Pages are clean and not marred by notes or folds of any kind. Seller Inventory # wbs8432002442
Stock Image
Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2013 (Lecture Notes in Electrical Engineering, 311)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020087236
Stock Image
Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2013 (Lecture Notes in Electrical Engineering, 311)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783319063164_new
Buy New
£ 94.13
Shipping:
£ 11.98
From United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Languages, Design Methods, and Tools for Electronic System Design
Published by
Springer International Publishing Sep 2014, 2014
ISBN 10: 3319063162
ISBN 13: 9783319063164
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 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. 340 pp. Englisch. Seller Inventory # 9783319063164
Seller Image
Languages, Design Methods, and Tools for Electronic System Design
Published by
Springer International Publishing, 2014
ISBN 10: 3319063162
ISBN 13: 9783319063164
New
Hardcover
Seller: 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 applications of formal methods for specification, verification and debugIncludes embedded analog and mixed-signal system designEnables model-driven engineering for embedded systems design and developmentThis book brings to. Seller Inventory # 4497536
Stock Image
Languages, Design Methods, and Tools for Electronic System Design
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 340. Seller Inventory # 26134394591
Stock Image
Languages, Design Methods, and Tools for Electronic System Design
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 340. Seller Inventory # 141888768
Stock Image
Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2013
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Brand New. 2015 edition. 340 pages. 9.25x6.10x1.10 inches. In Stock. Seller Inventory # x-3319063162
Buy New
£ 132.47
Shipping:
£ 12.50
From United Kingdom to U.S.A.
Quantity: 2 available
Stock Image
Languages, Design Methods, and Tools for Electronic System Design
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 340. Seller Inventory # 18134394581
Seller Image
Languages, Design Methods, and Tools for Electronic System Design
ISBN 10: 3319063162
ISBN 13: 9783319063164
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 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Englisch. Seller Inventory # 9783319063164