Theory and formal methods proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993

מידע ביבליוגרפי
Corporate Authors: British Computer Society, Imperial College of Science, Technology, and Medicine (Great Britain). Dept. of Computing, Imperial College Department of Computing Workshop on Theory and Formal Methods (1st : 1993 : Chelwood Gate, England)
מחברים אחרים: Burn, Geoffrey, Gay, Simon 1969-, Ryan, Mark
פורמט: ספר
שפה:English
יצא לאור: London Springer-Verlag c1993.
נושאים: