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 Temporal logic

Philosophical Logic
Philosophical Logic
kr. 194,95
Runtime Verification
Runtime Verification
    kr. 569,95
    Formal Methods and Software Engineering
    Formal Methods and Software Engineering
      kr. 414,95
      Formal Methods: Foundations and Applications
      Formal Methods: Foundations and Applications
        kr. 394,95
        Computer Aided Verification
        Computer Aided Verification
          kr. 414,95
          Logic and Its Applications
          Logic and Its Applications
            kr. 379,95
            Handbook of Finite State Based Models and Applications
            Handbook of Finite State Based Models and Applications
              kr. 2.389,95
              Context, Conflict and Reasoning
              Context, Conflict and Reasoning
                kr. 1.009,95
                Context, Conflict and Reasoning
                Context, Conflict and Reasoning
                  kr. 1.009,95
                  Knowledge, Proof and Dynamics
                  Knowledge, Proof and Dynamics
                    kr. 1.084,95
                    Frontiers of Combining Systems
                    Frontiers of Combining Systems
                      kr. 414,95
                      Mathematics of Program Construction
                      Mathematics of Program Construction
                        kr. 414,95
                        Formal Modeling and Analysis of Timed Systems
                        Formal Modeling and Analysis of Timed Systems
                          kr. 414,95
                          Refinement Techniques in Software Engineering
                          Refinement Techniques in Software Engineering
                            kr. 414,95
                            Formal Modeling and Analysis of Timed Systems
                            Formal Modeling and Analysis of Timed Systems
                              kr. 414,95
                              Web Reasoning and Rule Systems
                              Web Reasoning and Rule Systems
                                kr. 414,95
                                Temporal Logic and State Systems
                                Temporal Logic and State Systems
                                kr. 609,95
                                Temporalities
                                Temporalities
                                kr. 944,95
                                Rewriting Logic and Its Applications
                                Rewriting Logic and Its Applications
                                  kr. 414,95
                                  Process Coordination and Ubiquitous Computing
                                  Process Coordination and Ubiquitous Computing
                                  kr. 1.159,95
                                  Models, Mindsets, Meta: The What, the How, and the Why Not?
                                  Models, Mindsets, Meta: The What, the How, and the Why Not?
                                    kr. 414,95
                                    Runtime Verification
                                    Runtime Verification
                                      kr. 414,95
                                      Dependable Software Engineering: Theories, Tools, and Applications
                                      Dependable Software Engineering: Theories, Tools, and Applications
                                        kr. 414,95
                                        Developments in Language Theory
                                        Developments in Language Theory
                                          kr. 414,95
                                          Formal Methods
                                          Formal Methods
                                            kr. 694,95
                                            Handbook of Finite State Based Models and Applications
                                            Handbook of Finite State Based Models and Applications
                                              kr. 594,95
                                              Hybrid Feedback Control
                                              Hybrid Feedback Control
                                              kr. 509,95
                                              First-Order Programming Theories
                                              First-Order Programming Theories
                                              kr. 774,95
                                              Temporal Logic
                                              Temporal Logic
                                                kr. 774,95
                                                Specifying Message Passing and Time-Critical Systems with Temporal Logic
                                                Specifying Message Passing and Time-Critical Systems with Temporal Logic
                                                kr. 414,95
                                                Model Checking and Artificial Intelligence
                                                Model Checking and Artificial Intelligence
                                                  kr. 414,95
                                                  Models of Strategic Reasoning
                                                  Models of Strategic Reasoning
                                                    kr. 414,95
                                                    Parameterized Complexity in the Polynomial Hierarchy
                                                    Parameterized Complexity in the Polynomial Hierarchy
                                                    kr. 599,95
                                                    Proceedings Of The 11th Asian Logic Conference: In Honor Of Professor Chong Chitat On His 60th Birthday
                                                    Proceedings Of The 11th Asian Logic Conference: In Honor Of Professor Chong Chitat On His 60th Birthday
                                                    kr. 1.264,95
                                                    Automata, Languages and Programming
                                                    Automata, Languages and Programming
                                                      kr. 774,95