THE POLITICS OF VERIFICATION

2,014

博客來

DECIDABILITY OF PARAMETERIZED VERIFICATION

2,999

博客來

PRINCIPLES OF FUNCTIONAL VERIFICATION

5,517

博客來

DECIDABILITY OF PARAMETERIZED VERIFICATION

3,300

博客來

CHALLENGES OF SOFTWARE VERIFICATION

10,199

博客來

THE POLITICS OF VERIFICATION

1,800

博客來

FORMAL VERIFICATION OF CIRCUITS

10,000

博客來

VERIFICATION OF GEOTECHNICAL GROUTING

1,140

博客來

VERIFICATION OF BUSINESS RULES PROGRAMS

3,299

博客來

HANDBOOK OF COMPUTER AIDED VERIFICATION

7,245

博客來

MONITORING AND VERIFICATION OF BIOREMEDIATION

3,597

博客來

HIGH-LEVEL VERIFICATION: METHODS AND TOOLS FOR VERIFICATION OF SYSTEM-LEVEL DESIGNS

6,599

博客來

RUNTIME VERIFICATION OF INFORMATION FLOW

4,693

博客來

A HANDBOOK OF VERIFICATION PROCEDURES

3,299

博客來

HIGH-LEVEL VERIFICATION: METHODS AND TOOLS FOR VERIFICATION OF SYSTEM-LEVEL DESIGNS

6,599

博客來

VERIFICATION OF BUSINESS RULES PROGRAMS

3,299

博客來

THE FOUNDATIONS OF PROGRAM VERIFICATION

26,248

博客來

VERIFICATION IN ALL ITS ASPECTS INCLUDING THE ROLE OF THE UNITED NATIONS IN THE FIELD OF VERIFICATION

720

博客來

VERIFICATION OF SEQUENTIAL AND CONCURRENT PROGRAMS

6,599

博客來

VERIFICATION OF DIGITAL AND HYBRID SYSTEMS

6,599

博客來