verification

【3-4周达】String Analysis for Software Verification and Security [9783319886374]

【3-4周达】精装 Semi-physical Verification Technology for Dynamic Performance of Internet of Things S... [9789811317583]

【3-4周达】精装 VLSI-SoC: System-on-Chip in the Nanoscale Era – Design, Verification and Reliability... [9783319671031]

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

预订 VEasy: a Tool Suite for Teaching Functional Verification [9783659143328]

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

【3-4周达】Hardware and Software: Verification and Testing: 13th International Haifa Verification Con... [9783319703886]

【3-4周达】Metrics for Process Models : Empirical Foundations of Verification, Error Prediction, and ... [9783540892236]

【3-4周达】Formal Approaches to Software Testing and Runtime Verification: First Combined Internation... [9783540496991]

【3-4周达】精装 Design Automation Techniques for Approximation Circuits : Verification, Synthesis and... [9783319989648]

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

【3-4周达】Lectures on Proof Verification and Approximation Algorithms [9783540642015]

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

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

【3-4周达】精装 Experimental Design and Verification of a Centralized Controller for Irrigation Canals [9781785483073]

【3-4周达】Verification of Reactive Systems : Formal Methods and Algorithms [9783642055553]

【3-4周达】Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July ... [9783642142949]

【3-4周达】Leveraging Applications of Formal Methods, Verification and Validation: 5th International ... [9783642340314]

【3-4周达】Semi-physical Verification Technology for Dynamic Performance of Internet of Things System [9789811346774]

【3-4周达】Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, a... [9783030187439]

【3-4周达】Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th Inte... [9783030034177]

【3-4周达】Runtime Verification : 16th International Conference, RV 2016, Madrid, Spain, September 23... [9783319469812]

【3-4周达】Open Source Software: Quality Verification: 9th IFIP WG 2.13 International Conference, OSS... [9783642427435]

【3-4周达】Computer-Aided CMM Inspection Planning and Verification [9783845402321]

【3-4周达】Modelling and Verification of Secure Exams [9783030097899]

【3-4周达】Leveraging Applications of Formal Methods, Verification and Validation: Third Internationa... [9783540884781]

预订 Practical methods of verification of heating costs [9786139879144]

【3-4周达】Empirical Software Engineering and Verification : International Summer Schools, LASER 2008... [9783642252303]

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

【3-4周达】精装 Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential ... [9789811376689]