本書重點介紹新的和正在出現的構造先進應用程序的技術，解決軟件設計人員開發高度復雜的應用程序時必須要面臨的問題。本書的主要內容包括：模型與正確性、程序設計技術以及應用和自動機理論。同時，給出了幾個來自不同領域的應用實例，例如，安全、電話和電路設計等。
　　本書是先進的計算機軟件理論和實踐方面的權威性指導書，適合作為程序設計人員、計算機科學家和軟件工程師的參考書。