Anbieter: GreatBookPrices, Columbia, MD, USA
EUR 140,17
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 138,45
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: GreatBookPrices, Columbia, MD, USA
EUR 154,91
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 138,44
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 146,48
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Zustand: New. 2024th edition NO-PA16APR2015-KAP.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes | Better Early than Never | Pascal Pieper (u. a.) | Taschenbuch | xxiv | Englisch | 2025 | Springer | EAN 9783031516948 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 179,73
Anzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 194 pages. 9.26x6.11x9.21 inches. In Stock.
Anbieter: Brook Bookstore On Demand, Napoli, NA, Italien
EUR 102,25
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: new. Questo è un articolo print on demand.
Anbieter: Brook Bookstore On Demand, Napoli, NA, Italien
EUR 102,25
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: new. Questo è un articolo print on demand.
Sprache: Englisch
Verlag: Springer Nature Switzerland, 2024
ISBN 10: 3031516915 ISBN 13: 9783031516917
Anbieter: moluna, Greven, Deutschland
EUR 109,83
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Pascal Pieper received the M.Sc. in computer science from the University of Bremen, Germany, in 2018. He received the Dr.-Ing. Degree in 2023 as a Researcher within the Group of Computer Architecture, University of Bremen, Germany, and is working as an e.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 159,23
Anzahl: 4 verfügbar
In den WarenkorbZustand: New. Print on Demand pp. 194.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: New. PRINT ON DEMAND pp. 194.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: New. PRINT ON DEMAND.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 172,90
Anzahl: 4 verfügbar
In den WarenkorbZustand: New. Print on Demand.
Sprache: Englisch
Verlag: Springer, Birkhäuser Mär 2025, 2025
ISBN 10: 303151694X ISBN 13: 9783031516948
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book deals with formal and practical approaches for early fast modeling and verification of complex digital processor hardware and software using SystemC-based virtual prototypes. As a special focus, modeling approaches of instruction-level behavior of System-on-Chips and the connected off-chip digital devices are addressed. Featured verification approaches are based on symbolic execution of simulated hardware devices or on classical discrete execution of the whole system with dynamic data flow tracking. The approaches are accompanied by Case-Studies that develop and build on top of an open-source RISC-V SoC simulation.In Particular, this book:Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 196 pp. Englisch.
Sprache: Englisch
Verlag: Springer, Birkhäuser Mär 2024, 2024
ISBN 10: 3031516915 ISBN 13: 9783031516917
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Buch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book deals with formal and practical approaches for early fast modeling and verification of complex digital processor hardware and software using SystemC-based virtual prototypes. As a special focus, modeling approaches of instruction-level behavior of System-on-Chips and the connected off-chip digital devices are addressed. Featured verification approaches are based on symbolic execution of simulated hardware devices or on classical discrete execution of the whole system with dynamic data flow tracking. The approaches are accompanied by Case-Studies that develop and build on top of an open-source RISC-V SoC simulation.In Particular, this book:Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 196 pp. Englisch.