Subject Area: Formal Methods in CIDEC Library.

APPLICATIONS OF FORMAL METHODS

Jonathan Peter BOWEN, 1956- .

Series: Prentice-Hall international series in computer science

Publisher : Prentice Hall - London ; New York

Bibliographic :

• Hardcover, (alk. paper)
• ISBN: 0-13-366949-1
• September, 1995, © 1995
• xvii, 447 p. : ill. ; 25 cm.
• Dewey No.: 620/.0042/015113 20

• System design. * Computer software -- Development.
• Software Engineering: Requirements/Specifications

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.

CONTENTS :
Includes bibliographical references (p. 421-437) and index.