Listing 1 - 2 of 2 |
Sort by
|
Choose an application
Computer algorithms --- Computer programming --- 681.3*D24 --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Algorithms --- 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Programming --- Computer science
Choose an application
Computer software --- Reliability --- -681.3*D24 --- 681.3*D45 --- Software, Computer --- Computer systems --- Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Reliability: backup procedures; checkpoint/restart; fault-tolerance; verification (Operating systems) --- 681.3*D45 Reliability: backup procedures; checkpoint/restart; fault-tolerance; verification (Operating systems) --- 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- 681.3*D24 --- Computer software - Reliability
Listing 1 - 2 of 2 |
Sort by
|