В книге известных венгерских специалистов описывается комплексный подход к созданию средств автоматизированной спецификации задач и систем. В основу положен двухуровневый структурный метод спецификации, позволяющий упорядочить процесс проектирования сложного программного обеспечения. Предлагаемые в книге средства спецификации могут быть использованы для описания различных сложных систем на концептуальном уровне. Большое число примеров облегчает усвоение материала. Для системных программистов, инженеров-математиков и аспирантов, специализирующихся в области вычислительной техники. Это и многое другое вы найдете в книге Автоматизированные методы спецификации (Я. Деметрович, Е. Кнут, П. Радо)