verification

【3-4周达】Verification of the Biological and Toxin Weapons Convention [9789048155378]

【3-4周达】Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practic... [9783030034269]

【3-4周达】Verifying Calculations - Forty Years On: An Overview of Classical Verification Techniques ... [9783319205526]

【3-4周达】Critical Systems: Formal Methods and Automated Verification: Joint 21st International Work... [9783319459424]

【3-4周达】Deductive Software Verification - The KeY Book : From Theory to Practice (1st ed. 2016) [9783319498119]

【3-4周达】Accuracy Verification Methods : Theory and Algorithms (Softcover reprint of the original 1... [9789402404982]

【3-4周达】精装 Verification and Validation in Systems Engineering : Assessing UML/SysML Design Models [9783642152276]

预订 Runtime Verification of Information flow [9783845432748]

【3-4周达】Automatic Verification of Sequential Infinite-State Processes [9783540639824]

【3-4周达】Hardware and Software, Verification and Testing: First International Haifa Verification Co... [9783540326045]

【3-4周达】Advances in Verification of Time Petri Nets and Timed Automata : A Temporal Logic Approach... [9783642069420]

预订 An Introduction to Kinship Verification [9786202094542]

预订 精装 Progress in Automatic Signature Verification [9789810218522]

【3-4周达】Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Oc... [9783642171710]

【3-4周达】Verification, Model Checking, and Abstract Interpretation : 5th International Conference, ... [9783540208037]

【3-4周达】Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach [9783642145377]

【3-4周达】Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissem... [9783319471686]

【3-4周达】Formal Verification of Simulink/Stateflow Diagrams : A Deductive Approach (Softcover repri... [9783319836386]

【3-4周达】精装 Open Source Software: Quality Verification: 9th IFIP WG 2.13 International Conference... [9783642389276]

【3-4周达】Partial-Order Methods for the Verification of Concurrent Systems : An Approach to the Stat... [9783540607618]

预订 Human Signature Authentication and IRIS Verification System [9786200471055]

【3-4周达】Dynamics of the Unicycle : Modelling and Experimental Verification [9783319953830]

【3-4周达】Verification, Model Checking, and Abstract Interpretation : 11th International Conference,... [9783642113185]

预订 REDD+ framework with integrated Measurement, Reporting & Verification [9783659777059]

【3-4周达】Leveraging Applications of Formal Methods, Verification and Validation. Technologies for M... [9783662452332]

【3-4周达】Gene Network Inference : Verification of Methods for Systems Genetics Data [9783662522042]

预订 Design and Verification of Bus Bridge from OCP to AHB [9783847326151]

【3-4周达】Verification, Model Checking, and Abstract Interpretation: 17th International Conference, ... [9783662491218]

【3-4周达】Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, ... [9783319216676]

预订 The concept Anti-patriotism: verification and reproduction [9786202075190]