PROFESSIONAL VERIFICATION: A GUIDE TO ADVANCED FUNCTIONAL VERIFICATION

8,500

博客來

A HANDBOOK OF VERIFICATION PROCEDURES

3,299

博客來

A ROADMAP FOR FORMAL PROPERTY VERIFICATION

6,599

博客來

A ROADMAP FOR FORMAL PROPERTY VERIFICATION

8,000

博客來

COMPUTER-AIDED VERIFICATION: A SPECIAL ISSUE OF FORMAL METHODS IN SYSTEM DESIGN ON COMPUTER-AIDED VERIFICATION

10,199

博客來

COMPUTER-AIDED VERIFICATION: A SPECIAL ISSUE OF FORMAL METHODS IN SYSTEM DESIGN ON COMPUTER-AIDED VERIFICATION

10,199

博客來

ADAS AND AUTOMATED DRIVING: A PRACTICAL APPROACH TO VERIFICATION AND VALIDATION: A PRACTICAL APPROACH TO VERIFICATION AND VALIDATION

4,800

博客來

FUNCTIONAL VERIFICATION A COMPLETE GUIDE - 2020 EDITION

5,667

博客來

BIOMETRICS: IDENTITY VERIFICATION IN A NETWORKED WORLD

1,575

博客來

SOFTWARE VERIFICATION A COMPLETE GUIDE - 2020 EDITION

5,667

博客來

A SURVEY OF VERIFICATION TECHNIQUES FOR PARALLEL PROGRAMS

2,399

博客來

IDENTITY VERIFICATION SERVICE A COMPLETE GUIDE - 2020 EDITION

5,667

博客來

VALIDATION AND VERIFICATION A COMPLETE GUIDE - 2020 EDITION

5,667

博客來

VERIFICATION AND VALIDATION A COMPLETE GUIDE - 2020 EDITION

5,667

博客來

RUNTIME VERIFICATION: A HANDS-ON APPROACH IN JAVA

3,299

博客來

A VERIFICATION SYSTEM FOR SHORT RANGE NAVY FORECASTS.

877

博客來

VEASY: A TOOL SUITE FOR TEACHING FUNCTIONAL VERIFICATION

2,911

博客來

A CUDA BASED PARALLEL IMPLEMENTATION OF SPEAKER VERIFICATION SYSTEM

2,911

博客來

SYSTEM-ON-A-CHIP VERIFICATION: METHODOLOGY AND TECHNIQUES

12,500

博客來

HARDWARE DESIGN VERIFICATION: A PRACTICAL AND SYSTEMATIC APPROACH

4,370

博客來