Industrial-strength formal methods in practice / Michael G. Hinchey and Jonathan P. Bowen, (eds.)

Saved in:

Bibliographic Details
Online Access:	Full Text (via Internet Archive)
Other Authors:	Hinchey, Michael G. (Michael Gerard), 1969-, Bowen, J. P. (Jonathan Peter), 1956-
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer, c1999.
Series:	Formal approaches to computing and information technology.
Subjects:	Formal methods (Computer science)

Internet

Holdings details from Online
Call Number:	QA76.9.F67 I53 1999
QA76.9.F67 I53 1999	Available