113,95 €*
Versandkostenfrei per Post / DHL
Lieferzeit 2-3 Wochen
Provides latest results on formal methods along the complete design flow;
Covers different abstraction layers, from ESL to RTL;
Addresses formal verification in both digital and analog contexts;
Demonstrates techniques in current industrial use.
Includes supplementary material: [...]
Erscheinungsjahr: | 2017 |
---|---|
Fachbereich: | Nachrichtentechnik |
Genre: | Technik |
Rubrik: | Naturwissenschaften & Technik |
Medium: | Buch |
Seiten: | 200 |
Inhalt: |
xvi
182 S. 22 s/w Illustr. 49 farbige Illustr. 182 p. 71 illus. 49 illus. in color. |
ISBN-13: | 9783319576831 |
ISBN-10: | 3319576836 |
Sprache: | Englisch |
Herstellernummer: | 978-3-319-57683-1 |
Ausstattung / Beilage: | HC runder Rücken kaschiert |
Einband: | Gebunden |
Redaktion: | Drechsler, Rolf |
Herausgeber: | Rolf Drechsler |
Auflage: | 1st ed. 2018 |
Hersteller: | Springer International Publishing |
Maße: | 241 x 160 x 17 mm |
Von/Mit: | Rolf Drechsler |
Erscheinungsdatum: | 03.07.2017 |
Gewicht: | 0,471 kg |
Provides latest results on formal methods along the complete design flow;
Covers different abstraction layers, from ESL to RTL;
Addresses formal verification in both digital and analog contexts;
Demonstrates techniques in current industrial use.
Includes supplementary material: [...]
Erscheinungsjahr: | 2017 |
---|---|
Fachbereich: | Nachrichtentechnik |
Genre: | Technik |
Rubrik: | Naturwissenschaften & Technik |
Medium: | Buch |
Seiten: | 200 |
Inhalt: |
xvi
182 S. 22 s/w Illustr. 49 farbige Illustr. 182 p. 71 illus. 49 illus. in color. |
ISBN-13: | 9783319576831 |
ISBN-10: | 3319576836 |
Sprache: | Englisch |
Herstellernummer: | 978-3-319-57683-1 |
Ausstattung / Beilage: | HC runder Rücken kaschiert |
Einband: | Gebunden |
Redaktion: | Drechsler, Rolf |
Herausgeber: | Rolf Drechsler |
Auflage: | 1st ed. 2018 |
Hersteller: | Springer International Publishing |
Maße: | 241 x 160 x 17 mm |
Von/Mit: | Rolf Drechsler |
Erscheinungsdatum: | 03.07.2017 |
Gewicht: | 0,471 kg |