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

Saved in:

Bibliographic Details
Other Authors:	Hinchey, Michael G. (Michael Gerard), 1969-, Bowen, J. P. (Jonathan Peter), 1956-
Format:	Book
Language:	English
Published:	Berlin ; New York : Springer, ©1999.
Series:	Formal approaches to computing and information technology.
Subjects:	Formal methods (Computer science)

PASCAL Offsite

Holdings details from PASCAL Offsite
Call Number:	QA76.9.F67 I53 1999
QA76.9.F67 I53 1999	Available Place a Hold