Revised & updated,
Specification of Software Systems builds upon the original focus on software
Specification with added emphasis on the practice of formal methods for
Specification & verification. The text covers a wide range of formal
Specification techniques.