Description: Applications of formal methods /

Other Authors:	Hinchey, Michael G., Bowen, J. P.
Format:	Book
Language:	English
Published:	London : Prentice Hall, 1995.
Subjects:	System design Computer software > Development

Physical Description:	xvii, 447 p. : ill. ; 25 cm.
Bibliography:	Includes bibliographical references (p. 421-437) and index.
ISBN:	0133669491 (alk. paper)