Over 10 mio. titler Fri fragt ved køb over 499,- Hurtig levering 30 dages retur

Filtrér resultat

Vælg pris

Alle bøger om Hardware verification

Scalable Hardware Verification with Symbolic Simulation
Scalable Hardware Verification with Symbolic Simulation
kr. 894,95
Hardware Verification with System Verilog
Hardware Verification with System Verilog
kr. 1.244,95
Handbook of Model Checking
Handbook of Model Checking
    kr. 1.009,95
    Advanced Techniques for Assertion-Based Verification in Hardware Designs using Data Mining Algorithms
    Advanced Techniques for Assertion-Based Verification in Hardware Designs using Data Mining Algorithms
    kr. 774,95
    Generating Hardware Assertion Checkers
    Generating Hardware Assertion Checkers
    kr. 894,95
    Specification And Verification Of Systolic Arrays
    Specification And Verification Of Systolic Arrays
    kr. 449,95
    Program Verification
    Program Verification
      kr. 3.799,95
      Automated Technology for Verification and Analysis
      Automated Technology for Verification and Analysis
        kr. 414,95
        Theorem Provers in Circuit Design: Theory, Practice and Experience
        Theorem Provers in Circuit Design: Theory, Practice and Experience
          kr. 414,95
          Computer Aided Verification
          Computer Aided Verification
            kr. 414,95
            Generating Hardware Assertion Checkers
            Generating Hardware Assertion Checkers
            kr. 884,95
            Computer Architecture
            Computer Architecture
            kr. 414,95
            Computer Architecture
            Computer Architecture
            kr. 414,95
            Program Verification
            Program Verification
              kr. 2.839,95
              Complex Digital Hardware Design
              Complex Digital Hardware Design
              kr. 1.429,95
              Hardware and Software: Verification and Testing
              Hardware and Software: Verification and Testing
                kr. 379,95
                Prospects for Hardware Foundations
                Prospects for Hardware Foundations
                  kr. 414,95
                  Formal Hardware Verification
                  Formal Hardware Verification
                    kr. 414,95
                    Computer Aided Verification
                    Computer Aided Verification
                      kr. 774,95
                      Theorem Proving in Higher Order Logics
                      Theorem Proving in Higher Order Logics
                        kr. 414,95
                        Hardware Verification with System Verilog
                        Hardware Verification with System Verilog
                        kr. 959,95
                        Writing Testbenches: Functional Verification of HDL Models
                        Writing Testbenches: Functional Verification of HDL Models
                        kr. 2.324,95
                        Verification Plans
                        Verification Plans
                        kr. 1.324,95
                        Dependable Computing - EDCC 2005
                        Dependable Computing - EDCC 2005
                          kr. 414,95
                          Model-Based Testing of Reactive Systems
                          Model-Based Testing of Reactive Systems
                            kr. 414,95
                            Writing Testbenches: Functional Verification of HDL Models
                            Writing Testbenches: Functional Verification of HDL Models
                            kr. 2.324,95
                            Computer Aided Verification
                            Computer Aided Verification
                              kr. 774,95
                              Computer Aided Verification
                              Computer Aided Verification
                                kr. 774,95
                                Theorem Proving in Higher Order Logics
                                Theorem Proving in Higher Order Logics
                                  kr. 414,95
                                  Verification Plans
                                  Verification Plans
                                  kr. 1.164,95
                                  Theorem Proving in Higher Order Logics
                                  Theorem Proving in Higher Order Logics
                                    kr. 414,95
                                    Process Algebra and Probabilistic Methods: Performance Modeling and Verification
                                    Process Algebra and Probabilistic Methods: Performance Modeling and Verification
                                      kr. 414,95
                                      Higher Order Logic Theorem Proving and Its Applications
                                      Higher Order Logic Theorem Proving and Its Applications
                                        kr. 414,95
                                        Computer Aided Verification
                                        Computer Aided Verification
                                          kr. 414,95
                                          Handbook of Model Checking
                                          Handbook of Model Checking
                                            kr. 1.009,95