Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from Fdl 2017

This book brings together a selection of the best papers from the twentiethedition of the Forum on specification and Design Languages Conference (FDL), which took place on September 18-20, 2017, in Verona, Italy. 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 ... Read More

This book brings together a selection of the best papers from the twentiethedition of the Forum on specification and Design Languages Conference (FDL), which took place on September 18-20, 2017, in Verona, Italy. 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 modeling and verification methodologies targeting digital and analog systems; Addresses firmware development and validation; Targets both functional and non-functional properties; Includes descriptions of methods for reliable system design. Read Less

• All from $29.70
• New Books from $103.32
• Used Books from $83.92
• eBook from $29.70

• • eBook Details

  	This is a digital edition of this title. Rent eBook (5 Options) 30 Day Rental: $29.70 (Expires Aug 04, 2024) 60 Day Rental: $39.60 (Expires Sep 03, 2024) 90 Day Rental: $49.50 (Expires Oct 03, 2024) 120 Day Rental: $59.40 (Expires Nov 02, 2024) 180 Day Rental: $64.35 (Expires Jan 01, 2025) Buy eBook Lifetime Access: $99.00 Title: Languages, Design Methods, and Tools for Electronic System Design by Author Publisher: Springer Nature Print ISBN: 9783030022143, 3030022145 eText ISBN: 9783030022150 Edition: 2019 2019 edition Format: EPUB eBook	$29.70 Rent eBook This is a digital eBook Nothing will be shipped to you Works with web browsers and the VitalSource app on all Windows, Mac, Chromebook, Kindle Fire, iOS, and Android devices Most eBooks are returnable within 14 days of purchase Questions? See our eBook FAQ