Аннотация:Теория s‑моделирования рассматривается как методологическое основание систематизации программируемых задач и конструирования программ. Для специалистов в автоматизации программирования и разработчиков программных средств. Книга может быть полезна преподавателям и студентам вузов.