progr. |
Поскольку у нас нет ни математического аппарата, ни интеллектуальных возможностей для полноценного моделирования поведения больших дискретных систем, мы должны удовлетвориться приемлемым уровнем уверенности в их правильной работе (см. Object-Oriented Analysis and Design with Applications 3rd Edition by Grady Booch ssn) |