关注微信公众号查券更方便
JOJO'SLIFEPD水果圆盆和面盆
【3-4周达】Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th ... [9783030034207]
【3-4周达】Leveraging Applications of Formal Methods, Verification and Validation. Distributed System... [9783030034238]
【3-4周达】精装 Nuclear Non-proliferation and Arms Control Verification : Innovative Systems Concepts [9783030295363]
【3-4周达】System-on-Chip Security : Validation and Verification [9783030305987]
【3-4周达】精装 A Digital Signal Processor for Particle Detectors : Design, Verification and Testing [9783030715588]
【3-4周达】Decidability of Parameterized Verification [9783031008832]
【3-4周达】精装 Verification of Sequential and Concurrent Programs (Third Edition 2009) [9781848827448]
【3-4周达】Validation and Verification of Automated Systems : Results of the ENABLE-S3 Project [9783030146306]
【3-4周达】Digital System Verification: A Combined Formal Methods and Simulation Framework [9783031798146]
【3-4周达】AI Verification: First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–... [9783031651113]
【3-4周达】精装 Formal Verification of Floating-Point Hardware Design : A Mathematical Approach (Seco... [9783030871802]
【3-4周达】精装 Formal Verification of Structurally Complex Multipliers [9783031245701]
【3-4周达】Verification and Evaluation of Computer and Communication Systems: 16th International Conf... [9783031497360]
【3-4周达】Genetic Design Automation : A Practical Approach for the Analysis, Verification and Synthe... [9783030523572]
【3-4周达】精装 Genetic Design Automation : A Practical Approach for the Analysis, Verification and S... [9783030523541]
【3-4周达】Deductive Software Verification: Future Perspectives : Reflections on the Occasion of 20 Y... [9783030643539]
【3-4周达】Leveraging Applications of Formal Methods, Verification and Validation. Application Areas:... [9783031753893]
【3-4周达】Biometrics: Advanced Identity Verification: The Complete Guide [With CDROM] [9781852332433]
【3-4周达】精装 The Complete Guide to SCION : From Design Principles to Formal Verification [9783031052873]
【3-4周达】Formal Verification of Floating-Point Hardware Design : A Mathematical Approach [9783030070489]
【3-4周达】Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, ... [9783030945824]
【3-4周达】Formal Verification of Floating-Point Hardware Design : A Mathematical Approach (Second Ed... [9783030871833]
【3-4周达】精装 System-on-Chip Security : Validation and Verification [9783030305956]
【3-4周达】Security Policy in System-on-Chip Designs: Specification, Implementation and Verification [9783030066666]
【3-4周达】精装 Functional Verification Coverage Measurement and Analysis [9781402080258]
【3-4周达】Runtime Verification : 22nd International Conference, RV 2022, Tbilisi, Georgia, September... [9783031171956]
【3-4周达】Formal Verification of Structurally Complex Multipliers [9783031245732]
【3-4周达】Runtime Verification : 23rd International Conference, RV 2023, Thessaloniki, Greece, Octob... [9783031442667]
【3-4周达】精装 Validation and Verification of Automated Systems : Results of the ENABLE-S3 Project [9783030146276]
【3-4周达】Leveraging Applications of Formal Methods, Verification and Validation. Software Engineeri... [9783031197550]
【3-4周达】Leveraging Applications of Formal Methods, Verification and Validation. Verification Princ... [9783031198489]
【3-4周达】Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineeri... [9783031751066]
【3-4周达】Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 202... [9783030888848]
【3-4周达】Fundamentals of Logic and Computation : With Practical Automated Reasoning and Verification [9783030878849]
【3-4周达】Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, a... [9783031058134]
【3-4周达】Verification, Model Checking, and Abstract Interpretation: 26th International Conference, ... [9783031826993]
【3-4周达】Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th Internatio... [9783031212215]
【3-4周达】Verification, Model Checking, and Abstract Interpretation: 26th International Conference, ... [9783031827020]
【3-4周达】Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, a... [9783031433658]
【3-4周达】Verification, Model Checking, and Abstract Interpretation: 21st International Conference, ... [9783030393212]
【3-4周达】Automated Technology for Verification and Analysis : 21st International Symposium, ATVA 20... [9783031453281]
【3-4周达】Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canad... [9783031656323]
【3-4周达】Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, Augu... [9783031131844]
【3-4周达】精装 Concise Guide to Software Verification: From Model Checking to Annotation Checking [9783031301667]
【3-4周达】Leveraging Applications of Formal Methods, Verification and Validation. Software Engineeri... [9783031753862]
【3-4周达】Verification of Data-Aware Processes via Satisfiability Modulo Theories (1st ed. 2023) [9783031427459]
【3-4周达】Runtime Verification : 21st International Conference, RV 2021, Virtual Event, October 11-1... [9783030884932]
【3-4周达】Automated Technology for Verification and Analysis : 21st International Symposium, ATVA 20... [9783031453311]
【3-4周达】Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practic... [9783030034269]
【3-4周达】Verification, Model Checking, and Abstract Interpretation: 20th International Conference, ... [9783030112448]
【3-4周达】Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th Inte... [9783030034177]
【3-4周达】Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 20... [9783030010898]
【3-4周达】Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July... [9783031377082]
【3-4周达】Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canad... [9783031656262]
【3-4周达】Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July... [9783031377051]
【3-4周达】Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July... [9783031377020]
【3-4周达】Numerical Software Verification : 12th International Workshop, NSV 2019, New York City, NY... [9783030284220]
【3-4周达】Verification and Evaluation of Computer and Communication Systems: 13th International Conf... [9783030350918]
【3-4周达】Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July... [9783030816841]
【3-4周达】An Introduction to Verification of Visualization Techniques [9783031014598]
AATCC CVC 25摩擦校正布摩擦校准布Crockmeter Verification Clot
溢价-福禄克fluke dsx-verification系列6类跳
