Advances in theory and formal methods of computing : proceedings of the Third Imperial College Workshop : Christ Church, Oxford, 1-3 April 1996

Saved in:
Bibliographic Details
Corporate Authors: Imperial College of Science, Technology and Medicine. Department of Computing, Imperial College Department of Computing Workshop on Theory and Formal Methods
Other Authors: Edalat, Abbas, Jourdan, Sofia, McCusker, Guy
Format: Conference Proceeding
Language:English
Published: London : Imperial Collge Press 1996
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Physical Description:viii, 330 p. : ill. ; 23 cm.
ISBN:1860940315