verification

【3-4周达】精装 Medical Device Software: Verification, Validation, and Compliance [9781596934221]

【3-4周达】Process Algebra and Probabilistic Methods. Performance Modelling and Verification: Joint I... [9783540425564]

【3-4周达】精装 Operational Semantics and Verification of Security Protocols [9783540786351]

【3-4周达】Hybrid Systems III : Verification and Control [9783540611554]

【3-4周达】Software Quality Approaches: Testing, Verification, and Validation : Software Best Practice 1 [9783540417842]

【3-4周达】精装 Formal Verification of Structurally Complex Multipliers [9783031245701]

【3-4周达】Deductive Software Verification: Future Perspectives : Reflections on the Occasion of 20 Y... [9783030643539]

【3-4周达】Design, Specification and Verification of Interactive Systems '98 : Proceedings of the Eur... [9783211832127]

【3-4周达】Analysis, Verification and Transformation for Declarative Programming and Intelligent Syst... [9783031314759]

【3-4周达】精装 Accuracy Verification Methods : Theory and Algorithms [9789400775800]

【3-4周达】SystemVerilog for Hardware Description : RTL Design and Verification [9789811544071]

【3-4周达】Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canad... [9783031656262]

【3-4周达】Cryptographic Security Architecture: Design and Verification [9781441929808]

【3-4周达】Hardware and Software: Verification and Testing: 9th International Haifa Verification Conf... [9783319030760]

【3-4周达】A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems [9783731501695]

【3-4周达】精装 On-Treatment Verification Imaging : A Study Guide for IGRT [9781138499911]

【3-4周达】Verification and Control of Hybrid Systems : A Symbolic Approach (Softcover reprint of har... [9781441954985]

【3-4周达】Interactive Systems: Design, Specification, and Verification : 1st Eurographics Workshop, ... [9783642871177]

【3-4周达】Leveraging Applications of Formal Methods, Verification and Validation. Application Areas:... [9783031753893]

【3-4周达】Formal Verification of Object-Oriented Software : International Conference, FoVeOO 2011, T... [9783642317613]

【3-4周达】Hardware and Software: Verification and Testing: Third International Haifa Verification Co... [9783540779643]

【3-4周达】Computer Aided Verification: 7th International Conference, Cav '95, Liege, Belgium, July 3... [9783540600459]

【3-4周达】Computational Methods in Transport: Verification and Validation [9783540773610]

【3-4周达】Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joos... [9783031757822]

【3-4周达】精装 Symbolic Simulation Methods for Industrial Formal Verification [9781402071034]

【3-4周达】Interactive Systems. Design Specification, and Verification: 12th International Workshop, ... [9783540341451]

【3-4周达】Computer Aided Verification : 18th International Conference, CAV 2006, Seattle, WA, USA, A... [9783540374060]

【3-4周达】Verification 1995: Arms Control, Peacekeeping and the Environment [9780367215651]

【3-4周达】精装 Petri Nets for Systems Engineering : A Guide to Modeling, Verification, and Applications [9783540412175]

【3-4周达】Interactive Systems. Design, Specification, and Verification: 13th International Workshop,... [9783540695530]