Understanding formal methods / written and translated by Jean François Monin ; translation editor, Michael G. Hinchey.

Saved in:

Bibliographic Details
Main Author:	Monin, Jean François, 1960-
Other Authors:	Hinchey, Michael G. (Michael Gerard), 1969-
Other title:	Introduction aux méthodes formelles. English.
Format:	Book
Language:	English French
Published:	London ; New York : Springer, ©2003.
Subjects:	Formal methods (Computer science)

Closed Stacks - Engineering Math & Physics Library - Stacks

Holdings details from Closed Stacks - Engineering Math & Physics Library - Stacks
Call Number:	QA76.6 .M6513 2003
QA76.6 .M6513 2003	Available Place a Hold