Cover Image

Applications of formal methods /

Bibliographic Details
Other Authors: Hinchey, Michael G. (Michael Gerard), 1969-, Bowen, J. P. (Jonathan Peter), 1956-
Format: Book
Language:English
Published: London ; New York : Prentice Hall, 1995.
Series:Prentice-Hall international series in computer science.
Subjects:
System design.
Computer software > Development.
Description
Physical Description:xvii, 447 pages : illustrations ; 25 cm.
Bibliography:Includes bibliographical references (pages 421-437) and index.
ISBN:0133669491 (alk. paper)