第1卷，涵盖了基本的原则和技术，形式化方法和抽象造型。首先，这本书提供了一个良好的，但简单的基础上洞察离散数学：号码，电视机， cartesians ，类型，功能，的lambda演算，代数，数理逻辑。那么列车，其读者的基本财产和示范导向的规范原则和技巧。示范导向的观念，是共同的，如语言规范包括b ， vdm的-晚上八时，和z是解释，在这里用提高规范语言（出rsl ） 。这本书则涵盖的基本原则的应用（功能） ，势在必行，并发（并行）的规格规划。最后，卷载有一个全面的词汇，软件工程等，以及大量的索引