Teaching and learning formal methods / edited by C. Neville Dean and Michael G. Hinchey.

Saved in:
Bibliographic Details
Other Authors: Dean, Neville, Hinchey, Michael G. (Michael Gerard), 1969-
Format: Book
Language:English
Published: London : Academic Press, ©1996.
Series:Academic Press international series in formal methods.
Subjects:

Closed Stacks - Engineering Math & Physics Library - Stacks

Holdings details from Closed Stacks - Engineering Math & Physics Library - Stacks
Call Number: QA76.9.S88 T41 1996
QA76.9.S88 T41 1996 Available Place a Hold