Importe total (1 artículo artículos):
Destino del pedido:
formal verification essential toolkit de seligman erik (23 resultados)
Comentarios
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (23)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición Más información
- Nuevo (19)
- Como nuevo, Excelente o Muy bueno (2)
- Bueno o Aceptable (2)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- Tal como se indica (No hay ningún otro resultado que coincida con este filtro.)
Encuadernación
- Todas
- Tapa dura (No hay ningún otro resultado que coincida con este filtro.)
- Tapa blanda (23)
Más atributos
- Primera edición (No hay ningún otro resultado que coincida con este filtro.)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (No hay ningún otro resultado que coincida con este filtro.)
- Con imágenes (8)
- No impresión bajo demanda (21)
Idioma (1)
Precio
- Cualquier precio
- Menos de EUR 20 (No hay ningún otro resultado que coincida con este filtro.)
- EUR 20 a EUR 45 (No hay ningún otro resultado que coincida con este filtro.)
- Más de EUR 45
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Formal Verification: An Essential Toolkit for Modern VLSI Design
Librería: HPB-Red, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 74,81
Convertir monedaEUR 3,20 gastos de envío en Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Formal Verification An Essential Toolkit for Modern VLSI Design
Librería: True Oak Books, Highland, NY, Estados Unidos de America
Miembro de asociación: IOBA
Calificación del vendedor: 5 de 5 estrellas
EUR 78,32
Convertir monedaGratis gastos de envío en Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Good. Book contains highlighting from previous owner. Book contains markings and notes from previous owner. - Good overall condition. General wear. No major blemishes.; - We're committed to your satisfaction. We offer free returns and respond promptly to all inquiries. Your item will be carefully wrapped in bubble wrap and securely boxed. All orders ship on the same or next business day. Buy with confidence.
-
Formal Verification An Essential Toolkit for Modern VLSI Design
Publicado por Elsevier Science & Technology, 2023
ISBN 10: 0323956122 ISBN 13: 9780323956123
Idioma: Inglés
Librería: TextbookRush, Grandview Heights, OH, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 88,16
Convertir monedaEUR 3,41 gastos de envío en Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Brand New. Ships SAME or NEXT business day. We Ship to APO/FPO addr. Choose EXPEDITED shipping and receive in 2-5 business days within the United States. See our member profile for customer support contact info. We have an easy return policy.
-
Formal Verification: An Essential Toolkit for Modern VLSI Design
Librería: Best Price, Torrance, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 95,10
Convertir monedaEUR 7,67 gastos de envío en Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoCondición: New. SUPER FAST SHIPPING.
-
Formal Verification : An Essential Toolkit for Modern Vlsi Design
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 103,03
Convertir monedaEUR 2,26 gastos de envío en Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New.
-
Formal Verification: An Essential Toolkit for Modern VLSI Design
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 103,31
Convertir monedaEUR 7,45 gastos de envío desde Reino Unido a Estados Unidos de AmericaCantidad disponible: 3 disponibles
Añadir al carritoCondición: New.
-
Formal Verification : An Essential Toolkit for Modern Vlsi Design
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 110,63
Convertir monedaEUR 2,26 gastos de envío en Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Formal Verification: An Essential Toolkit for Modern VLSI Design
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 112,02
Convertir monedaEUR 3,41 gastos de envío en Estados Unidos de AmericaCantidad disponible: 3 disponibles
Añadir al carritoCondición: New.
-
Formal Verification : An Essential Toolkit for Modern Vlsi Design
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 97,97
Convertir monedaEUR 17,18 gastos de envío desde Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New.
-
Formal Verification: An Essential Toolkit for Modern VLSI Design
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 103,27
Convertir monedaEUR 13,72 gastos de envío desde Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoCondición: New. In.
-
Formal Verification: An Essential Toolkit for Modern VLSI Design
Publicado por Academic Press 2023-06-09, 2023
ISBN 10: 0323956122 ISBN 13: 9780323956123
Idioma: Inglés
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 100,64
Convertir monedaEUR 17,74 gastos de envío desde Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: New.
-
Formal Verification: An Essential Toolkit for Modern VLSI Design
Librería: Russell Books, Victoria, BC, Canada
Calificación del vendedor: 4 de 5 estrellas
EUR 103,22
Convertir monedaEUR 17,08 gastos de envío desde Canada a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritopaperback. Condición: New. 2nd Edition. Special order direct from the distributor.
-
Formal Verification: An Essential Toolkit for Modern VLSI Design
Publicado por Elsevier Science & Technology, 2023
ISBN 10: 0323956122 ISBN 13: 9780323956123
Idioma: Inglés
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 112,41
Convertir monedaEUR 10,27 gastos de envío desde Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback / softback. Condición: New. New copy - Usually dispatched within 4 working days. 222.
-
Formal Verification : An Essential Toolkit for Modern Vlsi Design
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 111,19
Convertir monedaEUR 17,18 gastos de envío desde Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Formal Verification: An Essential Toolkit for Modern VLSI Design
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 117,99
Convertir monedaEUR 9,95 gastos de envío desde Alemania a Estados Unidos de AmericaCantidad disponible: 3 disponibles
Añadir al carritoCondición: New.
-
Formal Verification: An Essential Toolkit for Modern VLSI Design
Publicado por Elsevier Science & Technology, 2023
ISBN 10: 0323956122 ISBN 13: 9780323956123
Idioma: Inglés
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
EUR 118,72
Convertir monedaEUR 10,50 gastos de envío desde Irlanda a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoCondición: New. 2023. 2nd Edition. Paperback. . . . . .
-
Formal Verification: An Essential Toolkit for Modern Vlsi Design
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 102,68
Convertir monedaEUR 28,64 gastos de envío desde Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 2nd edition. 508 pages. 9.25x7.50x0.59 inches. In Stock.
-
Formal Verification: An Essential Toolkit for Modern VLSI Design
Publicado por Elsevier Science & Technology, 2023
ISBN 10: 0323956122 ISBN 13: 9780323956123
Idioma: Inglés
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 144,12
Convertir monedaEUR 8,97 gastos de envío en Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoCondición: New. 2023. 2nd Edition. Paperback. . . . . . Books ship from the US and Ireland.
-
Formal Verification: An Essential Toolkit for Modern VLSI Design
Publicado por Elsevier Science & Technology, 2023
ISBN 10: 0323956122 ISBN 13: 9780323956123
Idioma: Inglés
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 112,10
Convertir monedaEUR 48,99 gastos de envío desde Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoCondición: New. Über den AutorErik Seligman is currently a Senior Product Engineering Architect at Cadence Design Systems, where he helps to plan and support the Jasper Formal Verification tool suite. Previously he worked at Intel Corporation in .
-
Formal Verification: An Essential Toolkit for Modern Vlsi Design
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 154,46
Convertir monedaEUR 28,64 gastos de envío desde Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 2nd edition. 508 pages. 9.25x7.50x0.59 inches. In Stock.
-
Formal Verification : An Essential Toolkit for Modern VLSI Design
Publicado por Elsevier Science & Technology Mai 2023, 2023
ISBN 10: 0323956122 ISBN 13: 9780323956123
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 115,69
Convertir monedaEUR 64,40 gastos de envío desde Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Neuware - 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.
-
Formal Verification: An Essential Toolkit for Modern VLSI Design
Librería: Brook Bookstore On Demand, Napoli, NA, Italia
Calificación del vendedor: 5 de 5 estrellas
EUR 91,55
Convertir monedaEUR 8,00 gastos de envío desde Italia a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: new. Questo è un articolo print on demand.
-
Formal Verification : An Essential Toolkit for Modern VLSI Design
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 107,48
Convertir monedaEUR 63,94 gastos de envío desde Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Formal Verification: An Essential Toolkit for Modern VLSI Design 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 at Intel and other companies. After reading this book, readers will be prepared to introduce FV in their organization and effectively deploy FV techniques to increase design and validation productivity.
