Cantitate/Preț
Produs
Total produse
Vezi coșul
Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2013 de Marie-Minerve Louërat

Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2013: Lecture Notes in Electrical Engineering, cartea 311

Editat de Marie-Minerve Louërat, Torsten Maehne
en Limba Engleză Hardback – 4 sep 2014
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.
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (1) 63169 lei  6-8 săpt.
  Springer International Publishing – 10 sep 2016 63169 lei  6-8 săpt.
Hardback (1) 63797 lei  6-8 săpt.
  Springer International Publishing – 4 sep 2014 63797 lei  6-8 săpt.

Din seria Lecture Notes in Electrical Engineering

Preț: 63797 lei

Preț vechi: 75055 lei
-15% Nou

Puncte Express: 957
Preț estimativ în valută:
12209€ • 12720$ • 10151£

Carte tipărită la comandă

Livrare economică 11-25 februarie 25

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783319063164
ISBN-10: 3319063162
Pagini: 339
Ilustrații: XXXIV, 305 p. 117 illus., 50 illus. in color.
Dimensiuni: 155 x 235 x 25 mm
Greutate: 0.65 kg
Ediția:2015
Editura: Springer International Publishing
Colecția Springer
Seria Lecture Notes in Electrical Engineering

Locul publicării:Cham, Switzerland

Public țintă

Research

Cuprins

Part I Applications of Formal Methods for Specification and Verification.- Optimal Component Selection for Energy-Efficient Systems.- Assisting Refinement in System-on-Chip Design.- Part II Embedded Analog and Mixed-Signal System Verification.- Integrating Circuit Analyses for Assertion-Based Verification of Programmable AMS Circuits.- Part III Embedded Analog and Mixed-Signal System Design.- Hybrid Dynamical Systems for Memristor Modelling.- Code Generation Alternatives to Reduce Heterogeneous Embedded Systems Homogeneity.

Textul de pe ultima copertă

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.

Caracteristici

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 Includes supplementary material: sn.pub/extras