Tác giả: K. Periyasamy

This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods fo …

This is a textbook on software specification emphasizing formal methods that are relevant to requirements and design stages of software development. The aim of the book is to teach the fundamental pr …