Sprache: Englisch
Verlag: WarnerBrothers, 2006
Anbieter: Stories & Sequels, Ashland, OH, USA
dvd. Zustand: Good.
Anbieter: The Maryland Book Bank, Baltimore, MD, USA
paperback. Zustand: Very Good. Used - Very Good.
Zustand: New.
Anbieter: California Books, Miami, FL, USA
Zustand: New.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 17,50
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 10,11
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. bilingual edition. 999 pages. German language. 11.81x8.27x0.04 inches. In Stock.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 25,37
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
PAP. Zustand: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Sprache: Deutsch
Verlag: Wiesbaden, Springer VS Springer Fachmedien, 2014
ISBN 10: 3531185500 ISBN 13: 9783531185507
Anbieter: Antiquariat Ardelt, Großräschen, Deutschland
24 cm, kartoniert. Sonderausgabe. 357 Seiten , das Buch ist altersbedingt in einem gutem, gebrauchten Zustand, aus dem Inhalt: Einleitung - Wiedergründung des Freistaates 1989/90 - Verfassung und Verfassungsgerichtsbariceit - Parlament - 'Regierungen und Regieren - Ministerpräsidenten - Wahlen und Wahlverhalten - Parteien und Parteiensystem - Verwaltung - Kommunalpolitik und Kommunale Selbstverwaltung - Der Freistaat im Bund und in der Europäischen Union - Medien und Medienpolitik - Demografie und Sozialstruktur - Politische Kultur und Regionalkultur - Politischer Extremismus und Demokratieschutz - Zusammenfassung Beschreibung vom Antiquariat Ardelt 3e1a ISBN-Nummer: 3531185500 Antiquariat Ardelt Sprache: Deutsch Gewicht in Gramm: 650.
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
EUR 17,31
Anzahl: Mehr als 20 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Anbieter: GreatBookPrices, Columbia, MD, USA
Zustand: New.
EUR 99,58
Anzahl: 2 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 106,54
Anzahl: 3 verfügbar
In den WarenkorbZustand: New.
Anbieter: GreatBookPrices, Columbia, MD, USA
Zustand: As New. Unread book in perfect condition.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 99,57
Anzahl: 1 verfügbar
In den WarenkorbZustand: New.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 104,67
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2nd edition. 508 pages. 9.25x7.50x0.59 inches. In Stock.
Sprache: Englisch
Verlag: Academic Press 2023-06-09, 2023
ISBN 10: 0323956122 ISBN 13: 9780323956123
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 102,60
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: New.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 108,39
Anzahl: 2 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Books Puddle, New York, NY, USA
Zustand: New. 2nd edition NO-PA16APR2015-KAP.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 113,59
Anzahl: 1 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Sprache: Englisch
Verlag: Elsevier Science and Technology, GB, 2023
ISBN 10: 0323956122 ISBN 13: 9780323956123
Anbieter: Rarewaves USA, OSWEGO, IL, USA
Paperback. Zustand: New. Formal Verification: An Essential Toolkit for Modern VLSI Design, Second Edition presents practical approaches for design and validation, with hands-on advice to help working engineers integrate these techniques into their work. Formal Verification (FV) enables a designer to directly analyze and mathematically explore the quality or other aspects of a Register Transfer Level (RTL) design without using simulations. This can reduce time spent validating designs and more quickly reach a final design for manufacturing. Building on a basic knowledge of SystemVerilog, this book demystifies FV and presents the practical applications that are bringing it into mainstream design and validation processes. Every chapter in the second edition has been updated to reflect evolving FV practices and advanced techniques. In addition, a new chapter, Formal Signoff on Real Projects, provides guidelines for implementing signoff quality FV, completely replacing some simulation tasks with significantly more productive FV methods. After reading this book, readers will be prepared to introduce FV in their organization to effectively deploy FV techniques that increase design and validation productivity.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: New.
Sprache: Englisch
Verlag: Elsevier Science and Technology, GB, 2023
ISBN 10: 0323956122 ISBN 13: 9780323956123
Anbieter: Rarewaves.com USA, London, LONDO, Vereinigtes Königreich
EUR 142,80
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: New. Formal Verification: An Essential Toolkit for Modern VLSI Design, Second Edition presents practical approaches for design and validation, with hands-on advice to help working engineers integrate these techniques into their work. Formal Verification (FV) enables a designer to directly analyze and mathematically explore the quality or other aspects of a Register Transfer Level (RTL) design without using simulations. This can reduce time spent validating designs and more quickly reach a final design for manufacturing. Building on a basic knowledge of SystemVerilog, this book demystifies FV and presents the practical applications that are bringing it into mainstream design and validation processes. Every chapter in the second edition has been updated to reflect evolving FV practices and advanced techniques. In addition, a new chapter, Formal Signoff on Real Projects, provides guidelines for implementing signoff quality FV, completely replacing some simulation tasks with significantly more productive FV methods. After reading this book, readers will be prepared to introduce FV in their organization to effectively deploy FV techniques that increase design and validation productivity.
Anbieter: moluna, Greven, Deutschland
Zustand: New. Covers formal verification algorithms that help users gain full coverage without exhaustive simulation Helps readers understand formal verification tools and how they differ from simulation tools Shows how to create instant testbe.
Sprache: Englisch
Verlag: Elsevier Science and Technology, GB, 2023
ISBN 10: 0323956122 ISBN 13: 9780323956123
Anbieter: Rarewaves USA United, OSWEGO, IL, USA
Paperback. Zustand: New. Formal Verification: An Essential Toolkit for Modern VLSI Design, Second Edition presents practical approaches for design and validation, with hands-on advice to help working engineers integrate these techniques into their work. Formal Verification (FV) enables a designer to directly analyze and mathematically explore the quality or other aspects of a Register Transfer Level (RTL) design without using simulations. This can reduce time spent validating designs and more quickly reach a final design for manufacturing. Building on a basic knowledge of SystemVerilog, this book demystifies FV and presents the practical applications that are bringing it into mainstream design and validation processes. Every chapter in the second edition has been updated to reflect evolving FV practices and advanced techniques. In addition, a new chapter, Formal Signoff on Real Projects, provides guidelines for implementing signoff quality FV, completely replacing some simulation tasks with significantly more productive FV methods. After reading this book, readers will be prepared to introduce FV in their organization to effectively deploy FV techniques that increase design and validation productivity.
Sprache: Englisch
Verlag: Elsevier Science and Technology, GB, 2023
ISBN 10: 0323956122 ISBN 13: 9780323956123
Anbieter: Rarewaves.com UK, London, Vereinigtes Königreich
EUR 133,92
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: New. Formal Verification: An Essential Toolkit for Modern VLSI Design, Second Edition presents practical approaches for design and validation, with hands-on advice to help working engineers integrate these techniques into their work. Formal Verification (FV) enables a designer to directly analyze and mathematically explore the quality or other aspects of a Register Transfer Level (RTL) design without using simulations. This can reduce time spent validating designs and more quickly reach a final design for manufacturing. Building on a basic knowledge of SystemVerilog, this book demystifies FV and presents the practical applications that are bringing it into mainstream design and validation processes. Every chapter in the second edition has been updated to reflect evolving FV practices and advanced techniques. In addition, a new chapter, Formal Signoff on Real Projects, provides guidelines for implementing signoff quality FV, completely replacing some simulation tasks with significantly more productive FV methods. After reading this book, readers will be prepared to introduce FV in their organization to effectively deploy FV techniques that increase design and validation productivity.
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
EUR 259,79
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
PAP. Zustand: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Zustand: New. pp. 359.