Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2013: 311 (Lecture Notes in Electrical Engineering, 311) - Hardcover
Book 139 of 548: Lecture Notes in Electrical Engineering
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...
Stock Image
Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2013 (eng)
Print on DemandSeller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 4 out of 5 stars
Condition: new. Questo è un articolo print on demand. Seller Inventory # 637ee29f5f996f2c110acf9400f10d13
Buy New
£ 76.87
£ 5.88 shipping
Ships from Italy to U.S.A.
Ships from Italy to U.S.A.
Quantity: Over 20 available
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
£ 96.15
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships 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 5 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
Buy New
£ 82.24
£ 42.39 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
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
Buy New
£ 131.06
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
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
£ 128.27
£ 12.50 shipping
Ships from United Kingdom to U.S.A.
Ships 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
Published by
Springer, Springer Sep 2014, 2014
ISBN 10: 3319063162
ISBN 13: 9783319063164
New
Hardcover
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. This item is printed on demand - Print on Demand Titel. 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 KG, Sachsenplatz 4-6, 1201 Wien 340 pp. Englisch. Seller Inventory # 9783319063164
Seller Image
Languages, Design Methods, and Tools for Electronic System Design : Selected Contributions from FDL 2013
Published by
Springer International Publishing, 2014
ISBN 10: 3319063162
ISBN 13: 9783319063164
New
Hardcover
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9783319063164