Description - An Introduction to Formal Specifications and Z by Ben Potter
Primarily intended as an introduction to the ideas of formal specification, this book provides an approach to software development, based on the work of the Z community of the Programming Research Group in Oxford. The book discusses formal methods developing programs from specifications, and the management issues involved in the adoption of more formal approaches to software development. The book also covers elements of discrete mathematics relevant to formal specification.
Buy An Introduction to Formal Specifications and Z by Ben Potter from Australia's Online Independent Bookstore, BooksDirect.
A Preview for this title is currently not available.
Checking availability...
