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 verifications

NASA Formal Methods
NASA Formal Methods
    kr. 569,95
    Dependable Software Engineering. Theories, Tools, and Applications
    Dependable Software Engineering. Theories, Tools, and Applications
      kr. 414,95
      Computer Aided Verification
      Computer Aided Verification
        kr. 334,95
        Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
        Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
          kr. 414,95
          New Trends in Model and Data Engineering
          New Trends in Model and Data Engineering
            kr. 414,95
            Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola
            Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola
              kr. 569,95
              Software Engineering and Formal Methods
              Software Engineering and Formal Methods
                kr. 459,95
                Verified Software. Theories, Tools, and Experiments
                Verified Software. Theories, Tools, and Experiments
                  kr. 414,95
                  Formal Methods
                  Formal Methods
                    kr. 694,95
                    NASA Formal Methods
                    NASA Formal Methods
                      kr. 654,95
                      Computer Aided Verification
                      Computer Aided Verification
                        kr. 414,95
                        Computer Aided Verification
                        Computer Aided Verification
                          kr. 414,95
                          Logic, Language, and Security
                          Logic, Language, and Security
                            kr. 494,95
                            Tests and Proofs
                            Tests and Proofs
                              kr. 414,95
                              Formal Methods
                              Formal Methods
                                kr. 849,95
                                Software Engineering and Formal Methods
                                Software Engineering and Formal Methods
                                  kr. 414,95
                                  Formal Methods – The Next 30 Years
                                  Formal Methods – The Next 30 Years
                                    kr. 414,95
                                    Interactive Theorem Proving
                                    Interactive Theorem Proving
                                      kr. 694,95
                                      Integrated Formal Methods
                                      Integrated Formal Methods
                                        kr. 414,95
                                        Theory and Applications of Satisfiability Testing – SAT 2017
                                        Theory and Applications of Satisfiability Testing – SAT 2017
                                          kr. 414,95
                                          Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
                                          Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
                                            kr. 414,95
                                            Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
                                            Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
                                              kr. 639,95
                                              Principles of Security and Trust
                                              Principles of Security and Trust
                                                kr. 414,95
                                                Formal Methods and Software Engineering
                                                Formal Methods and Software Engineering
                                                  kr. 414,95
                                                  Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
                                                  Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
                                                    kr. 634,95
                                                    Computational Complexity and Property Testing
                                                    Computational Complexity and Property Testing
                                                      kr. 639,95
                                                      Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
                                                      Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
                                                        kr. 534,95
                                                        Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies
                                                        Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies
                                                          kr. 534,95
                                                          Formal Techniques for Safety-Critical Systems
                                                          Formal Techniques for Safety-Critical Systems
                                                            kr. 414,95