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