这是高可靠软件技术的入门级图书，非常系统，推荐给可靠软件领域的同仁。