Cover Image

Formal specification : techniques and applications /

Show other versions (1)
Bibliographic Details
Main Author: Nissanke, Nimal
Format: Book
Language:English
Published: London ; New York : Springer, [1999]
Subjects:
Formal methods (Computer science)
Application software > Development.

Evans: Library Stacks

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