Items related to Languages, Design Methods, and Tools for Electronic...
Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2013 (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.
- PublisherSpringer
- Publication date2014
- ISBN 10 3319063162
- ISBN 13 9783319063164
- BindingHardcover
- LanguageEnglish
- Number of pages339
- EditorLouërat Marie-Minerve, Maehne Torsten
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 (Lecture Notes in Electrical Engineering, Band 311) Selected Contributions from FDL 2013
Seller: Antiquariat Bookfarm, Löbnitz, Germany
Seller rating 5 out of 5 stars
2015. 305 Seiten Buch in neuwertigem Zustand. Wirkt unbenutzt. Lediglich Mini-BibSignatur auf buchrücken und Barcode auf Vorsatz. 9783319063164 Sprache: Englisch Gewicht in Gramm: 700 Gebundene Ausgabe, Größe: 15.6 x 2.1 x 23.4 cm. Seller Inventory # 1129558
Quantity: 1 available
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
Quantity: 1 available
Stock 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
Used
Hardcover
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. Zustand: Sehr gut - Buchschnitt verkürzt - gepflegter, sauberer Zustand - Ausgabejahr 2015 | Seiten: 340 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 24840626/12
Quantity: 1 available
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
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
Quantity: 2 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
Quantity: Over 20 available
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
Quantity: 1 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
Quantity: 4 available
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
Quantity: Over 20 available
Stock Image
Languages, Design Methods, and Tools for Electronic System Design
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand pp. 340. Seller Inventory # 141888768
Quantity: 4 available