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 Runtime Verification

Udsolgt
Principles of Formal Quantitative Analysis
Principles of Formal Quantitative Analysis
    Engineering Trustworthy Software Systems
    Engineering Trustworthy Software Systems
      kr. 414,95
      Towards a Service-Based Internet
      Towards a Service-Based Internet
        kr. 414,95
        Service-Oriented Computing - ICSOC 2014 Workshops
        Service-Oriented Computing - ICSOC 2014 Workshops
          kr. 414,95
          Runtime Verification
          Runtime Verification
            kr. 414,95
            Tests and Proofs
            Tests and Proofs
              kr. 414,95
              Advanced Automated Software Testing
              Advanced Automated Software Testing
              kr. 2.159,95
              Automated Technology for Verification and Analysis
              Automated Technology for Verification and Analysis
                kr. 649,95
                Formal Methods: Foundations and Applications
                Formal Methods: Foundations and Applications
                  kr. 414,95
                  Runtime Verification
                  Runtime Verification
                    kr. 494,95
                    Formal Modeling and Analysis of Timed Systems
                    Formal Modeling and Analysis of Timed Systems
                      kr. 414,95
                      Formal Methods: Foundations and Applications
                      Formal Methods: Foundations and Applications
                        kr. 484,95
                        Engineering Trustworthy Software Systems
                        Engineering Trustworthy Software Systems
                          kr. 414,95
                          Runtime Verification
                          Runtime Verification
                            kr. 534,95
                            Automated Technology for Verification and Analysis
                            Automated Technology for Verification and Analysis
                              kr. 609,95
                              Engineering Trustworthy Software Systems
                              Engineering Trustworthy Software Systems
                                kr. 414,95
                                NASA Formal Methods
                                NASA Formal Methods
                                  kr. 924,95
                                  Runtime Verification
                                  Runtime Verification
                                  kr. 414,95
                                  Engineering Trustworthy Software Systems
                                  Engineering Trustworthy Software Systems
                                    kr. 459,95
                                    Runtime Verification
                                    Runtime Verification
                                      kr. 414,95
                                      Coordination, Organizations, Institutions, and Norms in Agent Systems XI
                                      Coordination, Organizations, Institutions, and Norms in Agent Systems XI
                                        kr. 414,95
                                        Algorithms - ESA 2015
                                        Algorithms - ESA 2015
                                          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
                                            Transactions on Aspect-Oriented Software Development XII
                                            Transactions on Aspect-Oriented Software Development XII
                                              kr. 414,95
                                              Theoretical Aspects of Computing - ICTAC 2015
                                              Theoretical Aspects of Computing - ICTAC 2015
                                                kr. 414,95
                                                Transactions on Aspect-Oriented Software Development XI
                                                Transactions on Aspect-Oriented Software Development XI
                                                  kr. 379,95
                                                  Tests and Proofs
                                                  Tests and Proofs
                                                    kr. 924,95
                                                    Formal Methods for Industrial Critical Systems
                                                    Formal Methods for Industrial Critical Systems
                                                      kr. 459,95
                                                      Runtime Verification
                                                      Runtime Verification
                                                        kr. 609,95
                                                        Computer Aided Verification
                                                        Computer Aided Verification
                                                          kr. 334,95
                                                          Computer Aided Verification
                                                          Computer Aided Verification
                                                            kr. 334,95
                                                            Computer Aided Verification
                                                            Computer Aided Verification
                                                              kr. 334,95
                                                              Computer Aided Verification
                                                              Computer Aided Verification
                                                                kr. 334,95
                                                                TOOLympics Challenge 2023
                                                                TOOLympics Challenge 2023
                                                                  kr. 414,95
                                                                  Theory and Practice of Formal Methods
                                                                  Theory and Practice of Formal Methods
                                                                    kr. 414,95