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 (Computer science)

Verification of Reactive Systems
Verification of Reactive Systems
kr. 414,95
Z
Z
kr. 499,95
Modern Formal Methods and Applications
Modern Formal Methods and Applications
    kr. 959,95
    Formal Techniques for Networked and Distributed Systems - FORTE 2003
    Formal Techniques for Networked and Distributed Systems - FORTE 2003
      kr. 414,95
      Formal Engineering for Industrial Software Development
      Formal Engineering for Industrial Software Development
      kr. 414,95
      Formal Methods and Software Engineering
      Formal Methods and Software Engineering
        kr. 414,95
        Software Specification Methods
        Software Specification Methods
          kr. 1.899,95
          Formal Methods
          Formal Methods
            kr. 1.099,95
            Industrial Use of Formal Methods
            Industrial Use of Formal Methods
              kr. 1.094,95
              Modeling and Verification of Real-time Systems
              Modeling and Verification of Real-time Systems
                kr. 1.974,95
                Formal Aspects in Security and Trust
                Formal Aspects in Security and Trust
                  kr. 414,95
                  Modeling and Verification Using UML Statecharts
                  Modeling and Verification Using UML Statecharts
                  kr. 514,95
                  Formal Methods for Industrial Critical Systems
                  Formal Methods for Industrial Critical Systems
                  kr. 674,95
                  Software Specification
                  Software Specification
                  kr. 339,95
                  Formal Methods in Human-Computer Interaction
                  Formal Methods in Human-Computer Interaction
                    kr. 414,95
                    Validated Designs for Object-Oriented Systems
                    Validated Designs for Object-Oriented Systems
                    kr. 599,95
                    Formal Methods: Applications and Technology
                    Formal Methods: Applications and Technology
                      kr. 414,95
                      Formal Techniques for Networked and Distributed Systems – FORTE 2008
                      Formal Techniques for Networked and Distributed Systems – FORTE 2008
                        kr. 414,95
                        Validated Designs for Object-oriented Systems
                        Validated Designs for Object-oriented Systems
                        kr. 634,95
                        FM 2008: Formal Methods
                        FM 2008: Formal Methods
                          kr. 414,95
                          Teamwork in Multi-Agent Systems
                          Teamwork in Multi-Agent Systems
                          kr. 659,95
                          The Way of Z
                          The Way of Z
                          kr. 499,95
                          Formal Methods in Manufacturing Systems
                          Formal Methods in Manufacturing Systems
                            kr. 2.474,95
                            Formal Modeling and Analysis of Timed Systems
                            Formal Modeling and Analysis of Timed Systems
                              kr. 414,95
                              FM 2005: Formal Methods
                              FM 2005: Formal Methods
                                kr. 414,95
                                Formal Techniques for Computer Systems and Business Processes
                                Formal Techniques for Computer Systems and Business Processes
                                  kr. 414,95
                                  Duration Calculus
                                  Duration Calculus
                                  kr. 774,95
                                  Design Patterns Formalization Techniques
                                  Design Patterns Formalization Techniques
                                  kr. 1.109,95
                                  Process Algebra for Parallel and Distributed Processing
                                  Process Algebra for Parallel and Distributed Processing
                                    kr. 1.119,95
                                    Verification Techniques for System-Level Design
                                    Verification Techniques for System-Level Design
                                    kr. 514,95
                                    Integrated Formal Methods
                                    Integrated Formal Methods
                                      kr. 414,95
                                      FM 2009: Formal Methods
                                      FM 2009: Formal Methods
                                        kr. 774,95
                                        Modern Formal Methods and Applications
                                        Modern Formal Methods and Applications
                                          kr. 874,95
                                          Verification of Reactive Systems
                                          Verification of Reactive Systems
                                          kr. 414,95
                                          Formal Engineering for Industrial Software Development
                                          Formal Engineering for Industrial Software Development
                                          kr. 409,95