Specification of software systems
1.7 hrs read
Rate this book:
About This Book
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 be used as a text for a one-semester course on formal methods at the senior undergraduate level. Readers are assumed to have a working knowledge of software engineering and basic discrete mathematics, but otherwise this may be their first encounter with formal specification.
Buy This Book
As an Amazon Associate and Bookshop.org affiliate, BookOrb earns from qualifying purchases.
Write a Review
Sign in to write a review.
