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 Abstract interpretation

Formal Verification of Control System Software
Formal Verification of Control System Software
kr. 399,95
Languages, Compilers, Analysis - From Beautiful Theory to Useful Practice
Languages, Compilers, Analysis - From Beautiful Theory to Useful Practice
    kr. 969,95
    Theory and Practice of Formal Methods
    Theory and Practice of Formal Methods
      kr. 414,95
      Advanced Symbolic Analysis for Compilers
      Advanced Symbolic Analysis for Compilers
      kr. 414,95
      Static Analysis
      Static Analysis
        kr. 414,95
        Mining Software Specifications
        Mining Software Specifications
          kr. 644,95
          Verification, Model Checking, and Abstract Interpretation
          Verification, Model Checking, and Abstract Interpretation
            kr. 414,95
            Fundamentals of Software Engineering
            Fundamentals of Software Engineering
              kr. 414,95
              Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII
              Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII
                kr. 414,95
                Computer Aided Verification
                Computer Aided Verification
                  kr. 414,95
                  Computer Aided Verification
                  Computer Aided Verification
                    kr. 414,95
                    Concrete Semantics
                    Concrete Semantics
                    kr. 569,95
                    Verification, Model Checking, and Abstract Interpretation
                    Verification, Model Checking, and Abstract Interpretation
                      kr. 414,95
                      NASA Formal Methods
                      NASA Formal Methods
                        kr. 414,95
                        Principles of Program Analysis
                        Principles of Program Analysis
                        kr. 414,95
                        Static Analysis
                        Static Analysis
                          kr. 414,95
                          Programming Languages
                          Programming Languages
                            kr. 334,95
                            Static Analysis
                            Static Analysis
                              kr. 569,95
                              Static Analysis
                              Static Analysis
                                kr. 414,95
                                Challenges of Software Verification
                                Challenges of Software Verification
                                  kr. 1.059,95
                                  Challenges of Software Verification
                                  Challenges of Software Verification
                                    kr. 1.084,95
                                    Programming Languages and Systems
                                    Programming Languages and Systems
                                      kr. 414,95
                                      Foundational and Practical Aspects of Resource Analysis
                                      Foundational and Practical Aspects of Resource Analysis
                                        kr. 414,95
                                        Programming Languages and Systems
                                        Programming Languages and Systems
                                          kr. 334,95
                                          Static Analysis
                                          Static Analysis
                                            kr. 414,95
                                            Programming Languages and Systems
                                            Programming Languages and Systems
                                              kr. 414,95
                                              Functional and Constraint Logic Programming
                                              Functional and Constraint Logic Programming
                                                kr. 414,95
                                                Static Analysis
                                                Static Analysis
                                                  kr. 414,95
                                                  Verification, Model Checking, and Abstract Interpretation
                                                  Verification, Model Checking, and Abstract Interpretation
                                                    kr. 414,95
                                                    Automated Deduction - CADE-25
                                                    Automated Deduction - CADE-25
                                                      kr. 414,95
                                                      Concrete Semantics
                                                      Concrete Semantics
                                                      kr. 414,95
                                                      Verification, Model Checking, and Abstract Interpretation
                                                      Verification, Model Checking, and Abstract Interpretation
                                                        kr. 414,95
                                                        Logic Programming
                                                        Logic Programming
                                                          kr. 774,95
                                                          Runtime Verification
                                                          Runtime Verification
                                                            kr. 414,95
                                                            Static Analysis
                                                            Static Analysis
                                                              kr. 414,95