Montant total (1 article articles) :
Destination de la commande :
formal verification essential toolkit de seligman erik (23 résultats)
Commentaires
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (23)
- Magazines & Périodiques (Aucun autre résultat ne correspond à ces critères)
- Bandes dessinées (Aucun autre résultat ne correspond à ces critères)
- Partitions de musique (Aucun autre résultat ne correspond à ces critères)
- Art, Affiches et Gravures (Aucun autre résultat ne correspond à ces critères)
- Photographies (Aucun autre résultat ne correspond à ces critères)
- Cartes (Aucun autre résultat ne correspond à ces critères)
- Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)
Reliure
- Toutes
- Couverture rigide (Aucun autre résultat ne correspond à ces critères)
- Couverture souple (23)
Particularités
- Ed. originale (Aucun autre résultat ne correspond à ces critères)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (Aucun autre résultat ne correspond à ces critères)
- Avec images (8)
- Sans impressions à la demande (21)
Langue (1)
Prix
- Tous les prix
- Moins de EUR 20 (Aucun autre résultat ne correspond à ces critères)
- EUR 20 à EUR 45 (Aucun autre résultat ne correspond à ces critères)
- Plus de EUR 45
Livraison gratuite
- Livraison gratuite à destination de France (Aucun autre résultat ne correspond à ces critères)
Pays
Evaluation du vendeur
-
Formal Verification An Essential Toolkit for Modern VLSI Design
Vendeur : True Oak Books, Highland, NY, Etats-Unis
Membre d'association : IOBA
Évaluation du vendeur 5 sur 5 étoiles
EUR 78,21
Autre deviseEUR 21,33 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : 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
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 103,18
Autre deviseEUR 10,36 expédition depuis Royaume-Uni vers FranceQuantité disponible : 3 disponible(s)
Ajouter au panierEtat : New.
-
Formal Verification: An Essential Toolkit for Modern VLSI Design
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 109,43
Autre deviseEUR 4,67 expédition depuis Royaume-Uni vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. In.
-
Formal Verification: An Essential Toolkit for Modern Vlsi Design
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 104,93
Autre deviseEUR 11,71 expédition depuis Royaume-Uni vers FranceQuantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 2nd edition. 508 pages. 9.25x7.50x0.59 inches. In Stock.
-
Formal Verification : An Essential Toolkit for Modern Vlsi Design
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 99,79
Autre deviseEUR 17,56 expédition depuis Royaume-Uni vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New.
-
Formal Verification: An Essential Toolkit for Modern VLSI Design
Edité par Elsevier Science & Technology, 2023
ISBN 10 : 0323956122 ISBN 13 : 9780323956123
Langue: anglais
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 113,56
Autre deviseEUR 5,07 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierPaperback / softback. Etat : New. New copy - Usually dispatched within 4 working days. 222.
-
Formal Verification : An Essential Toolkit for Modern Vlsi Design
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 103,05
Autre deviseEUR 17,06 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New.
-
Formal Verification: An Essential Toolkit for Modern Vlsi Design
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 109,63
Autre deviseEUR 11,71 expédition depuis Royaume-Uni vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 408 pages. 9.00x7.50x1.00 inches. In Stock.
-
Formal Verification: An Essential Toolkit for Modern VLSI Design
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 113,71
Autre deviseEUR 7,68 expédition depuis Etats-Unis vers FranceQuantité disponible : 3 disponible(s)
Ajouter au panierEtat : New.
-
Formal Verification: An Essential Toolkit for Modern VLSI Design
Edité par Elsevier Science & Technology, 2023
ISBN 10 : 0323956122 ISBN 13 : 9780323956123
Langue: anglais
EUR 112,10
Autre deviseEUR 9,70 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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
Edité par Elsevier Science & Technology, 2023
ISBN 10 : 0323956122 ISBN 13 : 9780323956123
Langue: anglais
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
EUR 121,99
Autre deviseEUR 3 expédition depuis Irlande vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. 2023. 2nd Edition. Paperback. . . . . .
-
Formal Verification : An Essential Toolkit for Modern VLSI Design
Edité par Elsevier Science & Technology Mai 2023, 2023
ISBN 10 : 0323956122 ISBN 13 : 9780323956123
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 115,69
Autre deviseEUR 10,99 expédition depuis Allemagne vers FranceQuantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 112,51
Autre deviseEUR 17,06 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Formal Verification: An Essential Toolkit for Modern VLSI Design
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 119,63
Autre deviseEUR 7,95 expédition depuis Allemagne vers FranceQuantité disponible : 3 disponible(s)
Ajouter au panierEtat : New.
-
Formal Verification : An Essential Toolkit for Modern Vlsi Design
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 113,51
Autre deviseEUR 17,56 expédition depuis Royaume-Uni vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Formal Verification An Essential Toolkit for Modern VLSI Design
Edité par Elsevier Science & Technology, 2023
ISBN 10 : 0323956122 ISBN 13 : 9780323956123
Langue: anglais
Vendeur : TextbookRush, Grandview Heights, OH, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 85,82
Autre deviseEUR 63,99 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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
Edité par Elsevier Science & Technology, 2023
ISBN 10 : 0323956122 ISBN 13 : 9780323956123
Langue: anglais
Vendeur : Kennys Bookstore, Olney, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 149,07
Autre deviseEUR 2,69 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. 2023. 2nd Edition. Paperback. . . . . . Books ship from the US and Ireland.
-
Formal Verification: An Essential Toolkit for Modern VLSI Design
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 63,12
Autre deviseEUR 89,59 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierpaperback. Etat : 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
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 154,04
Autre deviseEUR 11,71 expédition depuis Royaume-Uni vers FranceQuantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 2nd edition. 508 pages. 9.25x7.50x0.59 inches. In Stock.
-
Formal Verification: An Essential Toolkit for Modern VLSI Design
Vendeur : Russell Books, Victoria, BC, Canada
Évaluation du vendeur 5 sur 5 étoiles
EUR 128,86
Autre deviseEUR 76,79 expédition depuis Canada vers FranceQuantité disponible : 2 disponible(s)
Ajouter au panierpaperback. Etat : New. 2nd Edition. Special order direct from the distributor.
-
Formal Verification: An Essential Toolkit for Modern VLSI Design
Vendeur : dsmbooks, Liverpool, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 179,37
Autre deviseEUR 29,27 expédition depuis Royaume-Uni vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : New. New. book.
-
Formal Verification : An Essential Toolkit for Modern VLSI Design
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 107,48
Autre deviseEUR 10,99 expédition depuis Allemagne vers FranceQuantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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.
-
Formal Verification: An Essential Toolkit for Modern VLSI Design
Vendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Évaluation du vendeur 4 sur 5 étoiles
EUR 91,55
Autre deviseEUR 40 expédition depuis Italie vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : new. Questo è un articolo print on demand.
