Anbieter: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Deutschland
VII, 130 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Lecture Notes in Electrical Engineering, 530. Sprache: Englisch.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 151,34
Anzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 140 pages. 9.25x6.10x0.55 inches. In Stock.
Verlag: Springer International Publishing, Springer International Publishing Jan 2019, 2019
ISBN 10: 3030022145 ISBN 13: 9783030022143
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Buch. Zustand: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 140 pp. Englisch.
Zustand: New.
Verlag: Springer International Publishing, 2019
ISBN 10: 3030022145 ISBN 13: 9783030022143
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.