В книге американских ученых рассматривается методология разработки больших вычислительных систем, предусматривающая использование специального языка проектирования программ и позволяющая создавать высоконадежное эффективное и легкомодифицируемое программное обеспечение. Изложение различных подходов и методов сопровождается большим числом примеров.
Для прикладных и системных программистов, а также студентов старших курсов соответствующего профиля.