verification

【预订】Formal System Verification: State-Of...

【预订】Numerical Software Verification: 10t...

【预订】Genetic Design Automation: A Practical Approach for the Analysis, Verification and Syn 9783030523572

【预订】Computer Aided Verification 9783030816841

【预订】Computer Aided Verification 9783030816872

【预订】Functional Verification of Dynamical...

预售 按需印刷 Challenges Of Verification

【预订】Automated Technology for Verification and Analysis

【预订】Hardware and Software: Verification ...

【预订】Leveraging Applications of Formal Methods, Verification and Validation: Applications

【预订】Verification, Model Checking, and Ab...

【预订】Runtime Verification: 17th Internati...

【预订】Verification, Model Checking, and Ab...

【预售】ASIC/SoC Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies

【预售】Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solvers

预售 按需印刷 Gender Verification and the Making of the Female Body in Sport

【预订】Computer Aided Verification

【预售】Computer Aided Verification

【预售】Verification, Model Checking, and Ab...

【预订】Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends 9783030837228

【预订】Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles

【预售】Electronic Design Automation for IC System Design, Verification, and Testing

[预订]Tools for Design, Implementation and Verification of Emerging Information Technologies 9783031334573

[预订]Challenges of Software Verification

【预订】VLSI-SoC: System-on-Chip in the Nanoscale Era – Design, Verification and Reliability

[预订]Polynomial Formal Verification of Approximate Functions 9783658418878

【预订】Runtime Verification 9783031171956

[预订]Concise Guide to Software Verification: From Model Checking to Annotation Checking 9783031301667

【预订】Software Verification and Formal Methods for ML-Enabled Autonomous S 9783031212215

[预订]Computer Aided Verification 9783031377082