Vladimir O. Safonov's approach to this complex topic is superb. Developer's who are seasoned as well as those who are building experience will find this text rewarding. I appreciated the gradual and logical approach starting with basic concepts of Trustworthy compilers and development principles. This text should be included in computer science curriculum as it gives a superb backdrop/history and exposes new concepts and approaches within the Trustworthy framework. The questions and exercises after each chapter are detailed and when completed will give the student a firm grasp of the applications and theories presented. I highly recommend this book for new developers, experienced developers, and most importantly, computer science and computer engineering students.
