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 Formal methods

Software Engineering and Formal Methods
Software Engineering and Formal Methods
    kr. 669,95
    Handbook of Requirements and Business Analysis
    Handbook of Requirements and Business Analysis
    kr. 439,95
    Udsolgt
    Principles of Formal Quantitative Analysis
    Principles of Formal Quantitative Analysis
      Specification And Verification Of Systolic Arrays
      Specification And Verification Of Systolic Arrays
      kr. 449,95
      Foundations of Software Science and Computational Structures
      Foundations of Software Science and Computational Structures
        kr. 414,95
        Fundamental Approaches to Software Engineering
        Fundamental Approaches to Software Engineering
          kr. 414,95
          Computational Methods in Systems Biology
          Computational Methods in Systems Biology
            kr. 414,95
            Declarative Agent Languages and Technologies II
            Declarative Agent Languages and Technologies II
              kr. 414,95
              Engineering Human Computer Interaction and Interactive Systems
              Engineering Human Computer Interaction and Interactive Systems
                kr. 414,95
                Typed Lambda Calculi and Applications
                Typed Lambda Calculi and Applications
                  kr. 414,95
                  ZB 2005: Formal Specification and Development in Z and B
                  ZB 2005: Formal Specification and Development in Z and B
                    kr. 774,95
                    Formal Methods in Software and Systems Modeling
                    Formal Methods in Software and Systems Modeling
                      kr. 414,95
                      Mobile Computation with Functions
                      Mobile Computation with Functions
                      kr. 774,95
                      Compositional Verification of Concurrent and Real-Time Systems
                      Compositional Verification of Concurrent and Real-Time Systems
                      kr. 774,95
                      Formal Methods for Mobile Computing
                      Formal Methods for Mobile Computing
                        kr. 414,95
                        Reliable Software Technology – Ada-Europe 2005
                        Reliable Software Technology – Ada-Europe 2005
                          kr. 414,95
                          Model-Based Testing of Reactive Systems
                          Model-Based Testing of Reactive Systems
                            kr. 414,95
                            Formal Approaches to Software Testing
                            Formal Approaches to Software Testing
                              kr. 414,95
                              Tools and Algorithms for the Construction and Analysis of Systems
                              Tools and Algorithms for the Construction and Analysis of Systems
                                kr. 399,95
                                Engineering Trustworthy Software Systems
                                Engineering Trustworthy Software Systems
                                  kr. 414,95
                                  Applied Cryptography and Network Security
                                  Applied Cryptography and Network Security
                                    kr. 924,95
                                    Computer Aided Verification
                                    Computer Aided Verification
                                      kr. 774,95
                                      Logic Based Program Synthesis and Transformation
                                      Logic Based Program Synthesis and Transformation
                                        kr. 414,95
                                        Conceptual Structures: Common Semantics for Sharing Knowledge
                                        Conceptual Structures: Common Semantics for Sharing Knowledge
                                          kr. 414,95
                                          Integrated Formal Methods
                                          Integrated Formal Methods
                                            kr. 414,95
                                            Satellite Events at the MoDELS 2005 Conference
                                            Satellite Events at the MoDELS 2005 Conference
                                              kr. 414,95
                                              Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
                                              Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
                                                kr. 459,95
                                                Logic Based Program Synthesis and Transformation
                                                Logic Based Program Synthesis and Transformation
                                                  kr. 414,95
                                                  Trustworthy Global Computing
                                                  Trustworthy Global Computing
                                                    kr. 414,95
                                                    Model Checking Software
                                                    Model Checking Software
                                                      kr. 414,95
                                                      Fundamental Approaches to Software Engineering
                                                      Fundamental Approaches to Software Engineering
                                                        kr. 414,95
                                                        Measurement, Modelling and Evaluation of Computing Systems
                                                        Measurement, Modelling and Evaluation of Computing Systems
                                                          kr. 414,95
                                                          Formal Modeling and Analysis of Timed Systems
                                                          Formal Modeling and Analysis of Timed Systems
                                                            kr. 414,95
                                                            Communicating Sequential Processes. The First 25 Years
                                                            Communicating Sequential Processes. The First 25 Years
                                                              kr. 414,95
                                                              Rapid Integration of Software Engineering Techniques
                                                              Rapid Integration of Software Engineering Techniques
                                                                kr. 414,95