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 Logic and verification

Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
    kr. 459,95
    Trustworthy Global Computing
    Trustworthy Global Computing
      kr. 334,95
      Quantitative Evaluation of Systems
      Quantitative Evaluation of Systems
        kr. 609,95
        Theoretical Aspects of Software Engineering
        Theoretical Aspects of Software Engineering
          kr. 849,95
          Digital Sovereignty in Cyber Security: New Challenges in Future Vision
          Digital Sovereignty in Cyber Security: New Challenges in Future Vision
            kr. 494,95
            Computer Aided Verification
            Computer Aided Verification
              kr. 334,95
              Computer Aided Verification
              Computer Aided Verification
                kr. 334,95
                Rules on the Web: From Theory to Applications
                Rules on the Web: From Theory to Applications
                  kr. 414,95
                  Business Process Management
                  Business Process Management
                    kr. 619,95
                    Formal Methods and Software Engineering
                    Formal Methods and Software Engineering
                      kr. 414,95
                      Automated Technology for Verification and Analysis
                      Automated Technology for Verification and Analysis
                        kr. 414,95
                        Rewriting Logic and Its Applications
                        Rewriting Logic and Its Applications
                          kr. 519,95
                          Verification, Model Checking, and Abstract Interpretation
                          Verification, Model Checking, and Abstract Interpretation
                            kr. 414,95
                            Software Verification and Formal Methods for ML-Enabled Autonomous Systems
                            Software Verification and Formal Methods for ML-Enabled Autonomous Systems
                              kr. 484,95
                              NASA Formal Methods
                              NASA Formal Methods
                                kr. 534,95
                                Foundations of Security, Protocols, and Equational Reasoning
                                Foundations of Security, Protocols, and Equational Reasoning
                                  kr. 414,95
                                  Interactive Theorem Proving
                                  Interactive Theorem Proving
                                    kr. 414,95
                                    Developments in Language Theory
                                    Developments in Language Theory
                                      kr. 414,95
                                      Logic-Based Program Synthesis and Transformation
                                      Logic-Based Program Synthesis and Transformation
                                        kr. 414,95
                                        Applied Cryptography and Network Security Workshops
                                        Applied Cryptography and Network Security Workshops
                                          kr. 609,95
                                          Agents and Robots for Reliable Engineered Autonomy
                                          Agents and Robots for Reliable Engineered Autonomy
                                            kr. 494,95
                                            Applied Cryptography and Network Security Workshops
                                            Applied Cryptography and Network Security Workshops
                                              kr. 634,95
                                              Developments in Language Theory
                                              Developments in Language Theory
                                                kr. 414,95
                                                Software Engineering and Formal Methods
                                                Software Engineering and Formal Methods
                                                  kr. 414,95
                                                  Runtime Verification
                                                  Runtime Verification
                                                    kr. 414,95
                                                    Quantitative Evaluation of Systems
                                                    Quantitative Evaluation of Systems
                                                      kr. 414,95
                                                      Rules and Reasoning
                                                      Rules and Reasoning
                                                        kr. 514,95
                                                        Applied Cryptography and Network Security Workshops
                                                        Applied Cryptography and Network Security Workshops
                                                          kr. 514,95
                                                          NASA Formal Methods
                                                          NASA Formal Methods
                                                            kr. 694,95
                                                            Applied Cryptography and Network Security
                                                            Applied Cryptography and Network Security
                                                              kr. 839,95
                                                              Relational and Algebraic Methods in Computer Science
                                                              Relational and Algebraic Methods in Computer Science
                                                                kr. 459,95
                                                                Trusted Systems
                                                                Trusted Systems
                                                                  kr. 414,95
                                                                  Verified Software: Theories, Tools, and Experiments
                                                                  Verified Software: Theories, Tools, and Experiments
                                                                    kr. 414,95
                                                                    Formal Aspects of Component Software
                                                                    Formal Aspects of Component Software
                                                                      kr. 414,95
                                                                      Tests and Proofs
                                                                      Tests and Proofs
                                                                        kr. 379,95