| progr. |
Since we have neither the mathematical tools nor the intellectual capacity to model the complete behavior of large discrete systems, we must be content with acceptable level of confidence regarding their correctness (см. Object-Oriented Analysis and Design with Applications 3rd Edition by Grady Booch ssn) |
