by Vangalur S. Alagar
This graduate-level text provides an introduction to software specification emphasizing formal methods that are relevant to requirements and design stages of software development. The book can also…