Cover Image

Modern formal methods and applications /

Bibliographic Details
Format: Book
Language:English
Published: Dordrecht : Springer, 2006.
Subjects:
Formal methods (Computer science)
Formal methods (Computer science) > Industrial applications.

Evans: Library Stacks

Holdings details from Evans: Library Stacks
Call Number: QA76.9.F67 M64 2006
 
Call Number Status Get It
QA76.9.F67 M64 2006 Available