ISBN: 9780071443722 - applied formal verification: for digital circuit design (13 risultati)

Perfeziona la tua ricerca

  • Libri (13)

a

Fascia di prezzo personalizzata (EUR)

a

  • Lingua: Inglese

    Editore: McGraw Hill, 2005

    007144372X / 9780071443722

    • Rilegato

    Da: Phatpocket Limited, Waltham Abbey, HERTS, Regno UnitoPhatpocket Limited

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Usato - Buono

    EUR 141,12

    EUR 12,75 spedizione 
    Spedito da Regno Unito a U.S.A.

    Quantità: 2 disponibili

    Condizione: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.…

  • Lingua: Inglese

    Editore: McGraw Hill, 2005

    007144372X / 9780071443722

    • Rilegato

    Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Usato - Come nuovo

    EUR 152,70

    EUR 2,36 spedizione 
    Spedito in U.S.A.

    Quantità: Più di 20 disponibili

    Condizione: As New. Unread book in perfect condition.

  • Lingua: Inglese

    Editore: McGraw Hill, 2005

    007144372X / 9780071443722

    • Rilegato

    Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 155,54

    EUR 2,36 spedizione 
    Spedito in U.S.A.

    Quantità: Più di 20 disponibili

    Condizione: New.

  • Lingua: Inglese

    Editore: McGraw Hill, 2005

    007144372X / 9780071443722

    • Rilegato

    Da: California Books, Miami, FL, U.S.A.California Books

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 160,14

    EUR 2,68 spedizione 
    Spedito in U.S.A.

    Quantità: Più di 20 disponibili

    Condizione: New.

  • Lingua: Inglese

    Editore: McGraw Hill, 2005

    007144372X / 9780071443722

    • Rilegato

    Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 153,54

    EUR 17,97 spedizione 
    Spedito da Regno Unito a U.S.A.

    Quantità: Più di 20 disponibili

    Condizione: New.

  • Lingua: Inglese

    Editore: McGraw Hill, 2005

    007144372X / 9780071443722

    • Rilegato

    Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Usato - Come nuovo

    EUR 158,92

    EUR 17,97 spedizione 
    Spedito da Regno Unito a U.S.A.

    Quantità: Più di 20 disponibili

    Condizione: As New. Unread book in perfect condition.

  • Lingua: Inglese

    Editore: The McGraw-Hill Company, 2005

    007144372X / 9780071443722

    • Rilegato
    • Print on Demand

    Da: Books Puddle, Woodside, NY, U.S.A.Books Puddle

    Venditore con 4 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 154,30

    EUR 3,57 spedizione 
    Spedito in U.S.A.

    Quantità: 4 disponibili

    Condizione: New. Print on Demand pp. xiv + 237 1st Edition.

  • Lingua: Inglese

    Editore: The McGraw-Hill Company, 2005

    007144372X / 9780071443722

    • Rilegato
    • Print on Demand

    Da: Majestic Books, Hounslow, Regno UnitoMajestic Books

    Venditore con 4 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 160,81

    EUR 7,79 spedizione 
    Spedito da Regno Unito a U.S.A.

    Quantità: 4 disponibili

    Condizione: New. Print on Demand pp. xiv + 237 Illus.

  • Lingua: Inglese

    Editore: IRWIN, 2005

    007144372X / 9780071443722

    • Rilegato
    • Print on Demand

    Da: moluna, Greven, Germaniamoluna

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 120,06

    EUR 48,99 spedizione 
    Spedito da Germania a U.S.A.

    Quantità: Più di 20 disponibili

    Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. &Uumlber den AutorDouglas L. Perry (Mountain View, CA) is the Director of Verification IP for Jasper Design Automation, Inc. He is the author of four editions of McGraw-Hills VHDL.InhaltsverzeichnisPRE.…

  • Lingua: Inglese

    Editore: The McGraw-Hill Company, 2005

    007144372X / 9780071443722

    • Rilegato
    • Print on Demand

    Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios

    Venditore con 4 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 161,04

    EUR 9,95 spedizione 
    Spedito da Germania a U.S.A.

    Quantità: 4 disponibili

    Condizione: New. PRINT ON DEMAND pp. xiv + 237.

  • Lingua: Inglese

    Editore: McGraw-Hill, 2005

    007144372X / 9780071443722

    • Rilegato
    • Print on Demand

    Da: preigu, Osnabrück, Germaniapreigu

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 124,50

    EUR 70,00 spedizione 
    Spedito da Germania a U.S.A.

    Quantità: 5 disponibili

    Buch. Condizione: Neu. Applied Formal Verification | For Digital Circuit Design | Douglas L. Perry (u. a.) | Buch | Gebunden | Englisch | 2005 | McGraw-Hill | EAN 9780071443722 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.…

  • Lingua: Inglese

    Editore: McGraw-Hill Education - Europe, 2005

    007144372X / 9780071443722

    • Rilegato
    • Print on Demand

    Da: THE SAINT BOOKSTORE, Southport, Regno UnitoTHE SAINT BOOKSTORE

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 182,84

    EUR 19,37 spedizione 
    Spedito da Regno Unito a U.S.A.

    Quantità: Più di 20 disponibili

    Hardback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.

  • Lingua: Inglese

    Editore: Mcgraw-Hill, 2005

    007144372X / 9780071443722

    • Rilegato
    • Print on Demand

    Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 161,83

    EUR 35,00 spedizione 
    Spedito da Germania a U.S.A.

    Quantità: 2 disponibili

    Buch. Condizione: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Publisher's Note: Products purchased from Third Party sellers are not guaranteed by the publisher for quality, authenticity, or access to any online entitlements included with the product.Formal Verification, ASAPApplied Formal Verification delivers right-now methods for integrating this powerful tool into your design process. Written by two of the field's leaders, this tutorial opens shortcuts to the concept-proving, efficiency-boosting benefits of formal verification. The book includes real-world examples of formal verification applied to complex designs and clarifying explanations of high-level requirement writing. If you've some knowledge of Verilog or VHDL and simulation verification, you're ready to build your real-world problem-solving skills with this potent guide to formal verification.APPLY FORMAL VERIFICATION NOWSimulation-based verification \* Introduction to formal techniques \* Contrasting simulation and formal techniques \* Developing a formal test plan \* Writing high-level requirements \* Proving high-level requirements \* System-level simulation \* Final system simulation \* PSL tables \* SystemVerilog assertions tables. …