Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

271 b

40 284 Ft

In stock at our supplier Shipping in 10-13 days

Up to 30 days for returns

Customers also purchased

Breve Et Merveil Vie Oscar Wao Junot Díaz

Paperback

4 461 Ft

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

Paperback

5 146 Ft

Intervención en la atención sociosanitaria en instituciones

Paperback

10 964 Ft

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.