关注微信公众号查券更方便
秘阁严选网 提供丰富的 Verification 资源，在这里你可以找到各种优质的 Verification。。我们还为你准备了专属的 Verification 优惠活动，让你购物更划算！快来 秘阁严选网 选购吧！
OneSpineFormal Verification
AATCC CVC 25摩擦校正布摩擦校准布Crockmeter Verification Clot
【3-4周达】Petri Nets for Systems Engineering : A Guide to Modeling, Verification, and Applications [9783642074479]
预订 Experimental verification of the GDH sum rule on the neutron [9783639861112]
【3-4周达】Verification and Validation in Systems Engineering : Assessing UML/SysML Design Models [9783642423161]
【3-4周达】Verification, Model Checking, and Abstract Interpretation: 12th International Conference, ... [9783642182747]
【3-4周达】Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July ... [9783642142949]
【3-4周达】Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Oc... [9783642171710]
【3-4周达】Verification and Validation in Systems Engineering : Assessing UML/SysML Design Models [9783642152276]
【3-4周达】Open Source Software: Quality Verification: 9th IFIP WG 2.13 International Conference, OSS... [9783642427435]
【3-4周达】Verification, Model Checking, and Abstract Interpretation : 14th International Conference,... [9783642358722]
【3-4周达】Empirical Software Engineering and Verification : International Summer Schools, LASER 2008... [9783642252303]
【3-4周达】Computer Aided Verification : 23rd International Conference, CAV 2011, Snowbird, UT, USA, ... [9783642221095]
【3-4周达】Verification, Model Checking, and Abstract Interpretation : 11th International Conference,... [9783642113185]
【3-4周达】Hardware and Software: Verification and Testing: 4th International Haifa Verification Conf... [9783642017018]
【3-4周达】Tools for Practical Software Verification : International Summer School, LASER 2011, Elba ... [9783642357459]
【3-4周达】Hardware and Software: Verification and Testing: 7th International Haifa Verification Conf... [9783642341878]
【3-4周达】Automatic Verification of Sequential Infinite-State Processes [9783540639824]
【3-4周达】Computer Aided Verification : 24th International Conference, CAV 2012, Berkeley, CA, USA, ... [9783642314230]
【3-4周达】Computer Aided Verification : 21st International Conference, CAV 2009, Grenoble, France, J... [9783642026577]
【3-4周达】Leveraging Applications of Formal Methods, Verification and Validation: Third Internationa... [9783540884781]
【3-4周达】Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010... [9783642156427]
【3-4周达】Introduction to Formal Hardware Verification [9783540654452]
【3-4周达】Metrics for Process Models : Empirical Foundations of Verification, Error Prediction, and ... [9783540892236]
【3-4周达】Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, Novembe... [9783642166112]
【3-4周达】Leveraging Applications of Formal Methods, Verification, and Validation: 4th International... [9783642165573]
【3-4周达】Verification, Model Checking, and Abstract Interpretation: 13th International Conference, ... [9783642279393]
【3-4周达】Hardware and Software: Verification and Testing: 6th International Haifa Verification Conf... [9783642195822]
【3-4周达】Computer Aided Verification : 25th International Conference, CAV 2013, Saint Petersburg, R... [9783642397981]
【3-4周达】Systems and Software Verification : Model-Checking Techniques and Tools [9783642074783]
【3-4周达】Verification, Model Checking, and Abstract Interpretation: 15th International Conference, ... [9783642540127]
【3-4周达】Runtime Verification : 7th International Workshop, RV 2007, Vancover, Canada, March 13, 20... [9783540773948]
【3-4周达】Leveraging Applications of Formal Methods, Verification and Validation: 5th International ... [9783642340314]
【3-4周达】Foundations of Computer Software: Modeling, Development, and Verification of Adaptive Syst... [9783642212918]
【3-4周达】The Calculus of Computation : Decision Procedures with Applications to Verification [9783642093470]
【3-4周达】Interactive Systems. Design, Specification, and Verification: 13th International Workshop,... [9783540695530]
【3-4周达】Computer Aided Verification : 6th International Conference, CAV '94, Stanford, California,... [9783540581796]
【3-4周达】Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, J... [9783540705437]
【3-4周达】Hardware and Software: Verification and Testing: 5th International Haifa Verification Conf... [9783642192364]
【3-4周达】Embedded Systems: Design, Analysis and Verification: 4th IFIP TC 10 International Embedded... [9783642430282]
【3-4周达】Computer Aided Verification : 9th International Conference, CAV'97, Haifa, Israel, June 22... [9783540631668]
【3-4周达】Hardware and Software: Verification and Testing: 8th International Haifa Verification Conf... [9783642396106]
【3-4周达】Operational Semantics and Verification of Security Protocols [9783642430534]
【3-4周达】Interactive Systems. Design, Specification, and Verification: 15th International Workshop,... [9783540705680]
【3-4周达】Verification and Validation of Real-Time Software [9783642702266]
【3-4周达】Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, P... [9783642180699]
【3-4周达】Open Source Software: Quality Verification: 9th IFIP WG 2.13 International Conference, OSS... [9783642389276]
【3-4周达】Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 201... [9783642333859]
【3-4周达】Verification of Object-Oriented Software. The KeY Approach : Foreword by K. Rustan M. Leino [9783540689775]
【3-4周达】Leveraging Applications of Formal Methods, Verification, and Validation: 4th International... [9783642165603]
【3-4周达】Formal Verification of Object-Oriented Software : International Conference, FoVeOO 2011, T... [9783642317613]
【3-4周达】Leveraging Applications of Formal Methods, Verification and Validation: 5th International ... [9783642340253]
【3-4周达】Verification and Validation of Complex Systems: Human Factors Issues [9783642081552]
【3-4周达】Advances in Verification of Time Petri Nets and Timed Automata : A Temporal Logic Approach... [9783642069420]
【3-4周达】Verification of Reactive Systems : Formal Methods and Algorithms [9783642055553]
【3-4周达】Aliasing in Object-Oriented Programming : Types, Analysis and Verification [9783642369452]
预订 Formal Semantics and Verification Of Use Case Maps [9783639514995]
【3-4周达】Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2... [9783642046933]
【3-4周达】Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach [9783642145377]
【3-4周达】Runtime Verification : Second international Conference, RV 2011, San Francisco, USA, Septe... [9783642298592]
【3-4周达】Leveraging Applications of Formal Methods, Verification, and Validation: International Wor... [9783642347801]
【3-4周达】Verification, Model Checking, and Abstract Interpretation: 9th International Conference, V... [9783540781622]
【3-4周达】Runtime Verification : 4th International Conference, RV 2013, Rennes, France, September 24... [9783642407864]
【3-4周达】Verification of Arms Reductions : Nuclear, Conventional and Chemical [9783642466861]
工业配件SA10027 MICROWAVE POWER VERIFICATION METER W/CABLE 1
全新770065原装(VERIFICATION TESTER FOR 724 725)正品
【3-4周达】Verification of Business Rules Programs [9783642400377]
【3-4周达】Introduction to Formal Hardware Verification [9783642084775]
【3-4周达】Embedded Systems: Design, Analysis and Verification: 4th IFIP TC 10 International Embedded... [9783642388521]
【3-4周达】Gene Network Inference : Verification of Methods for Systems Genetics Data [9783642451607]
