Изложены вопросы теории исследования программных систем, основанных на методологии искусственного интеллекта. Используются теория унификации, алгоритмические алгебры и теория формальных систем.
Книга ориентирована на специалистов в области проектирования и формального исследования интеллектуальных программных систем, желающих углубить свои знания в области структурного программирования, а также автоматизированного проектирования программных систем. Материал книги апробирован в высших технических учебных заведениях России.
Дополнительно: Уважаемые покупатели на выкуп заказа отводиться семь дней с момента подтверждения наличия книги, по истечении данного срока заказ анулируется. При заказах на сумму более 5000 р. возможен прием оплаты от организаций по безналичному расчету.