Listing 1 - 1 of 1 |
Sort by
|
Choose an application
681.3*D24 --- Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Computer programs --- Electronic data processing. --- Electronic digital computers --- Reliability. --- 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Systèmes, Conception de --- System design --- Fiabilité --- Programmation système (informatique)
Listing 1 - 1 of 1 |
Sort by
|