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 method

Software Engineering 1
Software Engineering 1
kr. 774,95
Hybrid Systems: Computation and Control
Hybrid Systems: Computation and Control
    kr. 774,95
    Formal Methods for Open Object-Based Distributed Systems
    Formal Methods for Open Object-Based Distributed Systems
      kr. 414,95
      From Object-Orientation to Formal Methods
      From Object-Orientation to Formal Methods
        kr. 414,95
        Integrated Formal Methods
        Integrated Formal Methods
          kr. 414,95
          Algebraic Methodology and Software Technology
          Algebraic Methodology and Software Technology
            kr. 414,95
            Formal Methods for the Design of Real-Time Systems
            Formal Methods for the Design of Real-Time Systems
              kr. 414,95
              Teaching Formal Methods
              Teaching Formal Methods
                kr. 414,95
                Formal Methods in Computer-Aided Design
                Formal Methods in Computer-Aided Design
                  kr. 414,95
                  Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
                  Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
                    kr. 414,95
                    Cryptographic Protocol
                    Cryptographic Protocol
                    kr. 1.329,95
                    Safe Comp 96
                    Safe Comp 96
                      kr. 414,95
                      Embedded Software
                      Embedded Software
                        kr. 414,95
                        Algebraic Methodology and Software Technology
                        Algebraic Methodology and Software Technology
                          kr. 774,95
                          FME '94: Industrial Benefit of Formal Methods
                          FME '94: Industrial Benefit of Formal Methods
                            kr. 774,95
                            FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
                            FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
                              kr. 414,95
                              Formal Methods for Embedded Distributed Systems
                              Formal Methods for Embedded Distributed Systems
                                kr. 874,95
                                Languages for System Specification
                                Languages for System Specification
                                  kr. 1.229,95
                                  The Best of ICCAD
                                  The Best of ICCAD
                                    kr. 2.899,95
                                    Synchronous Equivalence
                                    Synchronous Equivalence
                                    kr. 774,95
                                    High Integrity Software
                                    High Integrity Software
                                      kr. 1.084,95
                                      Computer-Aided Verification
                                      Computer-Aided Verification
                                        kr. 1.224,95
                                        Methods and Procedures for the Verification and Validation of Artificial Neural Networks
                                        Methods and Procedures for the Verification and Validation of Artificial Neural Networks
                                          kr. 884,95
                                          Computer Architecture
                                          Computer Architecture
                                          kr. 414,95
                                          Languages for System Specification
                                          Languages for System Specification
                                            kr. 1.249,95
                                            A Practical Approach to Software Quality
                                            A Practical Approach to Software Quality
                                            kr. 469,95
                                            Hardware Specification, Verification and Synthesis: Mathematical Aspects
                                            Hardware Specification, Verification and Synthesis: Mathematical Aspects
                                              kr. 414,95
                                              Formal Methods and Models for System Design
                                              Formal Methods and Models for System Design
                                                kr. 1.199,95
                                                Abstract State Machines, Alloy, B, TLA, VDM, and Z
                                                Abstract State Machines, Alloy, B, TLA, VDM, and Z
                                                  kr. 414,95
                                                  Advances in Formal Design Methods for CAD
                                                  Advances in Formal Design Methods for CAD
                                                    kr. 1.474,95
                                                    Engineering for HCI
                                                    Engineering for HCI
                                                    kr. 1.474,95
                                                    Formal Methods for Open Object-based Distributed Systems
                                                    Formal Methods for Open Object-based Distributed Systems
                                                      kr. 1.474,95
                                                      Dependable Computing for Critical Applications 4
                                                      Dependable Computing for Critical Applications 4
                                                        kr. 414,95
                                                        Functional and Logic Programming
                                                        Functional and Logic Programming
                                                          kr. 414,95
                                                          Constraint-Based Verification
                                                          Constraint-Based Verification
                                                          kr. 879,95