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

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συλλογικό Έργο: 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.
Θέματα:
Electronic digital computers > Programming > Congresses.