Cover Image

Understanding formal methods /

Show other versions (1)
Bibliographic Details
Main Author: Monin, Jean François, 1960-
Other Authors: Hinchey, Michael G. (Michael Gerard), 1969-
Format: Book
Language:English
Published: London ; New York : Springer, [2003]
Subjects:
Formal methods (Computer science)

Evans: Library Stacks

Holdings details from Evans: Library Stacks
Call Number: QA76.6 .M6513 2003
 
Call Number Status Get It
QA76.6 .M6513 2003 Available