Jonathan Peter BOWEN, 1956- .
Series: Prentice-Hall international series in computer science
Publisher : Prentice Hall - London ; New York
KEY BENEFIT: This book aims to provide a collection of descriptions of the use of formal methods at an industrially useful scale written by the experts involved. Chapter One provides an overview of the book.
Includes bibliographical references (p. 421-437) and index.