Вычислительная техника и программирование

• Настоящее издание существенно дополнено терминами из области проектирования и моделирования логических устройств, систем представления знаний, компьютеризации производства, систем искусственного интеллекта, вычислительных сетей, цифровой обработки сигналов, параллельных и конвейерных вычислений, системного анализа, интернет-технологий.

correct-by-construction design method

итеративный метод проектирования (путем последовательного улучшения конструкции)