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
Time & Logic
Time & Logic
    kr. 1.159,95
    Time & Logic
    Time & Logic
      kr. 334,95
      Trustworthy Global Computing
      Trustworthy Global Computing
        kr. 334,95
        Computational Logic in Multi-Agent Systems
        Computational Logic in Multi-Agent Systems
          kr. 414,95
          Emerging Trends in Applications and Infrastructures for Computational Biology, Bioinformatics, and Systems Biology
          Emerging Trends in Applications and Infrastructures for Computational Biology, Bioinformatics, and Systems Biology
          kr. 799,95
          Formal Methods
          Formal Methods
            kr. 694,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
            Mathematical Logic for Computer Science
            Mathematical Logic for Computer Science
            kr. 489,95
            Theories And Experiences For Real-time System Development
            Theories And Experiences For Real-time System Development
            kr. 1.439,95
            Process Coordination and Ubiquitous Computing
            Process Coordination and Ubiquitous Computing
            kr. 1.074,95
            Process Coordination and Ubiquitous Computing
            Process Coordination and Ubiquitous Computing
            kr. 1.159,95
            Language and Automata Theory and Applications
            Language and Automata Theory and Applications
              kr. 414,95
              Mathematical and Engineering Methods in Computer Science
              Mathematical and Engineering Methods in Computer Science
                kr. 334,95
                Handbook of Model Checking
                Handbook of Model Checking
                  kr. 1.009,95
                  Automated Technology for Verification and Analysis
                  Automated Technology for Verification and Analysis
                    kr. 414,95
                    Runtime Verification
                    Runtime Verification
                      kr. 569,95
                      Computer Aided Verification
                      Computer Aided Verification
                        kr. 414,95
                        Thinking Programs
                        Thinking Programs
                        kr. 534,95
                        Thinking Programs
                        Thinking Programs
                        kr. 774,95
                        Tools and Algorithms for the Construction and Analysis of Systems
                        Tools and Algorithms for the Construction and Analysis of Systems
                          kr. 414,95
                          Designing Reliable Distributed Systems
                          Designing Reliable Distributed Systems
                          kr. 329,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
                                  Mathematical Foundations of Computer Science 2013
                                  Mathematical Foundations of Computer Science 2013
                                    kr. 414,95
                                    Software Engineering and Formal Methods
                                    Software Engineering and Formal Methods
                                      kr. 414,95
                                      Formal Modeling and Analysis of Timed Systems
                                      Formal Modeling and Analysis of Timed Systems
                                        kr. 414,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
                                          Logics in Artificial Intelligence
                                          Logics in Artificial Intelligence
                                            kr. 739,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