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 Formal verification

Software Engineering and Formal Methods
Software Engineering and Formal Methods
    kr. 669,95
    Specification And Verification Of Systolic Arrays
    Specification And Verification Of Systolic Arrays
    kr. 449,95
    Verifpal User Manual
    Verifpal User Manual
    kr. 234,95
    ZB 2005: Formal Specification and Development in Z and B
    ZB 2005: Formal Specification and Development in Z and B
      kr. 774,95
      Compositional Verification of Concurrent and Real-Time Systems
      Compositional Verification of Concurrent and Real-Time Systems
      kr. 774,95
      Hybrid Systems: Computation and Control
      Hybrid Systems: Computation and Control
        kr. 774,95
        Mechanizing Mathematical Reasoning
        Mechanizing Mathematical Reasoning
          kr. 774,95
          Verification by Error Modeling
          Verification by Error Modeling
          kr. 774,95
          Integrated Formal Methods
          Integrated Formal Methods
            kr. 414,95
            Logic for Programming, Artificial Intelligence, and Reasoning
            Logic for Programming, Artificial Intelligence, and Reasoning
              kr. 774,95
              Automated Deduction in Geometry
              Automated Deduction in Geometry
                kr. 414,95
                Hardware and Software, Verification and Testing
                Hardware and Software, Verification and Testing
                  kr. 414,95
                  Formal Modeling and Analysis of Timed Systems
                  Formal Modeling and Analysis of Timed Systems
                    kr. 414,95
                    Logic for Programming, Artificial Intelligence, and Reasoning
                    Logic for Programming, Artificial Intelligence, and Reasoning
                      kr. 774,95
                      Reasoning in Boolean Networks
                      Reasoning in Boolean Networks
                      kr. 1.084,95
                      FM 2005: Formal Methods
                      FM 2005: Formal Methods
                        kr. 414,95
                        Computer Aided Verification
                        Computer Aided Verification
                          kr. 774,95
                          Static Analysis
                          Static Analysis
                            kr. 414,95
                            The Verilog (R) Hardware Description Language
                            The Verilog (R) Hardware Description Language
                            kr. 984,95
                            Formal Methods for Components and Objects
                            Formal Methods for Components and Objects
                              kr. 414,95
                              Logic Programming
                              Logic Programming
                                kr. 414,95
                                Theorem Proving in Higher Order Logics
                                Theorem Proving in Higher Order Logics
                                  kr. 414,95
                                  Automated Deduction – CADE-20
                                  Automated Deduction – CADE-20
                                    kr. 414,95
                                    Designing with FPGAs and CPLDs
                                    Designing with FPGAs and CPLDs
                                    kr. 1.534,95
                                    Algebraic Methodology and Software Technology
                                    Algebraic Methodology and Software Technology
                                      kr. 414,95
                                      Human Error, Safety and Systems Development
                                      Human Error, Safety and Systems Development
                                        kr. 1.249,95
                                        Advanced Formal Verification
                                        Advanced Formal Verification
                                          kr. 879,95
                                          Computer-Aided Verification of Coordinating Processes
                                          Computer-Aided Verification of Coordinating Processes
                                          kr. 589,95
                                          Computer-Aided Verification of Coordinating Processes
                                          Computer-Aided Verification of Coordinating Processes
                                          kr. 1.459,95
                                          Formal Methods and Software Engineering
                                          Formal Methods and Software Engineering
                                            kr. 669,95
                                            Computer Aided Verification
                                            Computer Aided Verification
                                              kr. 1.119,95
                                              Model Driven Architecture - Foundations and Applications
                                              Model Driven Architecture - Foundations and Applications
                                                kr. 1.044,95
                                                Design Automation for Field-coupled Nanotechnologies
                                                Design Automation for Field-coupled Nanotechnologies
                                                kr. 774,95
                                                Deontic Logic in Computer Science
                                                Deontic Logic in Computer Science
                                                  kr. 814,95
                                                  Formal Methods: Foundations and Applications
                                                  Formal Methods: Foundations and Applications
                                                    kr. 394,95