Theory and formal methods of computing 94 : proceedings of the second Imperial College workshop /

Bibliographic Details
Corporate Author: Imperial College of Science, Technology, and Medicine (Great Britain). Department of Computing
Other Authors: Hankin, Chris, Mackie, I. (Ian), Nagarajan, R. (Rajagopal)
Format: Book
Language:English
Published: London : Singapore ; Imperial College Press ; [1995]
Subjects:

Remote Storage

Holdings details from Remote Storage
Call Number: QA75.5 .T525 1995
 
Call Number Status Get It
QA75.5 .T525 1995 Available