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.

Remote Storage