Publicado por Springer
ISBN 10: 1567204244 ISBN 13: 9781567204247
Librería: Wonder Book, Frederick, MD, Estados Unidos de America
EUR 8,77
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Very Good. Very Good condition. Like New dust jacket. A copy that may have a few cosmetic defects. May also contain light spine creasing or a few markings such as an owner's name, short gifter's inscription or light stamp.
EUR 46,28
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 280 Illus.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 47,96
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 280.
EUR 48,78
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 280.
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
EUR 108,76
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Librería: ALLBOOKS1, Direk, SA, Australia
EUR 128,08
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
EUR 136,16
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoGebunden. Condición: New.
EUR 136,16
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 158,25
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 158,25
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 153,75
Convertir monedaCantidad disponible: 15 disponibles
Añadir al carritoCondición: New.
Librería: Best Price, Torrance, CA, Estados Unidos de America
EUR 148,19
Convertir monedaCantidad disponible: 2 disponibles
Añadir al carritoCondición: New. SUPER FAST SHIPPING.
Librería: Best Price, Torrance, CA, Estados Unidos de America
EUR 148,19
Convertir monedaCantidad disponible: 2 disponibles
Añadir al carritoCondición: New. SUPER FAST SHIPPING.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 183,47
Convertir monedaCantidad disponible: 15 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 203,56
Convertir monedaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 280.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 156,68
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 156,68
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Publicado por Springer-Verlag New York Inc., New York, NY, 2010
ISBN 10: 1441954236 ISBN 13: 9781441954237
Idioma: Inglés
Librería: Grand Eagle Retail, Mason, OH, Estados Unidos de America
Original o primera edición
EUR 160,16
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. With the chip complexity constantly increasing, the difficulty as well as the importance of functional verification of new product designs has been increased. It is not only more important to get error-free designs. Moreover, it becomes an increasingly difficult task for a team of human designers to carry out a full design without errors. The traditional training of new verification engineers has to be adapted to the new situation. New skills are necessary. For these reasons, nearly all major universities offer lectures on basic verification techniques such as propositional temporal logic, model checking, equivalence checking, and simulation coverage measures. The present book is designed as a textbook covering one of the most important aspects in the verification process -- equivalence checking of Boolean circuits. Equivalence Checking of Digital Circuits is a textbook for advanced students in electrical and computer engineering, but is also intended for researchers who will find it useful as a reference text. Hardware veri?cation is the process of checking whether a design conforms to its speci?cations of functionality and timing. Thus, it is desirable to detect design errors early in the design process and not just after producing the prototype chip. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Publicado por Springer-Verlag New York Inc., 2010
ISBN 10: 1441954236 ISBN 13: 9781441954237
Idioma: Inglés
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
EUR 219,62
Convertir monedaCantidad disponible: 15 disponibles
Añadir al carritoCondición: New. Num Pages: 263 pages, biography. BIC Classification: TJF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 433. . 2010. Softcover reprint of the original 1st ed. 2004. Paperback. . . . .
Publicado por Springer-Verlag New York Inc., 2004
ISBN 10: 1402077254 ISBN 13: 9781402077258
Idioma: Inglés
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
EUR 226,74
Convertir monedaCantidad disponible: 15 disponibles
Añadir al carritoCondición: New. With an increase in chip complexity, the difficulty as well as the importance of functional verification of product designs has increased. This book is designed as a textbook covering an important aspect in the verification process. It is useful as a textbook for advanced students in electrical and computer engineering. Num Pages: 263 pages, biography. BIC Classification: TJF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 571. . 2004. 2004th Edition. hardcover. . . . .
Librería: Revaluation Books, Exeter, Reino Unido
EUR 230,58
Convertir monedaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 265 pages. 9.00x6.00x0.64 inches. In Stock.
Publicado por Springer-Verlag New York Inc., New York, NY, 2004
ISBN 10: 1402077254 ISBN 13: 9781402077258
Idioma: Inglés
Librería: Grand Eagle Retail, Mason, OH, Estados Unidos de America
EUR 179,92
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: new. Hardcover. With the chip complexity constantly increasing, the difficulty as well as the importance of functional verification of new product designs has been increased. It is not only more important to get error-free designs. Moreover, it becomes an increasingly difficult task for a team of human designers to carry out a full design without errors. The traditional training of new verification engineers has to be adapted to the new situation. New skills are necessary. For these reasons, nearly all major universities offer lectures on basic verification techniques such as propositional temporal logic, model checking, equivalence checking, and simulation coverage measures. The present book is designed as a textbook covering one of the most important aspects in the verification process -- equivalence checking of Boolean circuits. Equivalence Checking of Digital Circuits is a textbook for advanced students in electrical and computer engineering, but is also intended for researchers who will find it useful as a reference text. Hardware veri?cation is the process of checking whether a design conforms to its speci?cations of functionality and timing. Thus, it is desirable to detect design errors early in the design process and not just after producing the prototype chip. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Publicado por Springer-Verlag New York Inc., 2010
ISBN 10: 1441954236 ISBN 13: 9781441954237
Idioma: Inglés
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
EUR 272,63
Convertir monedaCantidad disponible: 15 disponibles
Añadir al carritoCondición: New. Num Pages: 263 pages, biography. BIC Classification: TJF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 433. . 2010. Softcover reprint of the original 1st ed. 2004. Paperback. . . . . Books ship from the US and Ireland.
Publicado por Springer-Verlag New York Inc., 2004
ISBN 10: 1402077254 ISBN 13: 9781402077258
Idioma: Inglés
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
EUR 281,51
Convertir monedaCantidad disponible: 15 disponibles
Añadir al carritoCondición: New. With an increase in chip complexity, the difficulty as well as the importance of functional verification of product designs has increased. This book is designed as a textbook covering an important aspect in the verification process. It is useful as a textbook for advanced students in electrical and computer engineering. Num Pages: 263 pages, biography. BIC Classification: TJF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 571. . 2004. 2004th Edition. hardcover. . . . . Books ship from the US and Ireland.
Publicado por Springer-Verlag New York Inc., New York, NY, 2010
ISBN 10: 1441954236 ISBN 13: 9781441954237
Idioma: Inglés
Librería: AussieBookSeller, Truganina, VIC, Australia
Original o primera edición
EUR 279,87
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. With the chip complexity constantly increasing, the difficulty as well as the importance of functional verification of new product designs has been increased. It is not only more important to get error-free designs. Moreover, it becomes an increasingly difficult task for a team of human designers to carry out a full design without errors. The traditional training of new verification engineers has to be adapted to the new situation. New skills are necessary. For these reasons, nearly all major universities offer lectures on basic verification techniques such as propositional temporal logic, model checking, equivalence checking, and simulation coverage measures. The present book is designed as a textbook covering one of the most important aspects in the verification process -- equivalence checking of Boolean circuits. Equivalence Checking of Digital Circuits is a textbook for advanced students in electrical and computer engineering, but is also intended for researchers who will find it useful as a reference text. Hardware veri?cation is the process of checking whether a design conforms to its speci?cations of functionality and timing. Thus, it is desirable to detect design errors early in the design process and not just after producing the prototype chip. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Publicado por Springer-Verlag New York Inc., New York, NY, 2004
ISBN 10: 1402077254 ISBN 13: 9781402077258
Idioma: Inglés
Librería: AussieBookSeller, Truganina, VIC, Australia
EUR 300,26
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: new. Hardcover. With the chip complexity constantly increasing, the difficulty as well as the importance of functional verification of new product designs has been increased. It is not only more important to get error-free designs. Moreover, it becomes an increasingly difficult task for a team of human designers to carry out a full design without errors. The traditional training of new verification engineers has to be adapted to the new situation. New skills are necessary. For these reasons, nearly all major universities offer lectures on basic verification techniques such as propositional temporal logic, model checking, equivalence checking, and simulation coverage measures. The present book is designed as a textbook covering one of the most important aspects in the verification process -- equivalence checking of Boolean circuits. Equivalence Checking of Digital Circuits is a textbook for advanced students in electrical and computer engineering, but is also intended for researchers who will find it useful as a reference text. Hardware veri?cation is the process of checking whether a design conforms to its speci?cations of functionality and timing. Thus, it is desirable to detect design errors early in the design process and not just after producing the prototype chip. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Librería: Majestic Books, Hounslow, Reino Unido
EUR 215,05
Convertir monedaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand pp. 280 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 219,74
Convertir monedaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. PRINT ON DEMAND pp. 280.