Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Languages, Design Methods, and Tools for Electronic System Design

Selected Contributions from FDL 2017

Daniel Große

Sara Vinco

Hiren Patel

Language

English

Book Hardback

Libristo code: 20227458

Publishers Springer Nature Switzerland AG, January 2019

This book brings together a selection of the best papers from the twentiethedition of the Forum on s... Full description

Libristo code: 20227458

249 b

102.95 €

In stock at our supplier Shipping in 10-13 days

Up to 30 days for returns

Customers also purchased

PODER DE LA SUPLEMENTACION, EL ODILE FERNANDEZ

Paperback

20.32 €

Intervención en la atención sociosanitaria en instituciones

Paperback

28.00 €

Escritos de Londres y últimas cartas Simone Weil

Paperback

20.52 €

Novena para curar la depresión Antonio María Borgés

Paperback

14.35 €

Breve Et Merveil Vie Oscar Wao Junot Díaz

Paperback

12.13 €

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.