Jump to main content

yr 〜
yr

Search results 3

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

Advances in theory and formal methods of computing : proceedings of the third Imperial College workshop, Christ Church, Oxford, 1-3 April 1996
Paper図書
editors, A. Edalat, S. Jourdan, G. McCuskerImperial College Pressc1996
Other Libraries in Japan
  • Author Heading.... of Computing Imperial College Department of Computing Workshop on Theory and Formal Methods

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

Theory and formal methods of computing 94 : proceedings of the second Imperial College workshop
Paper図書
editors, C. Hankin, I. Mackie, R. NagarajanImperial College Pressc1995
Other Libraries in Japan
  • Author Heading.... of Computing Imperial College Department of Computing Workshop on Theory and Formal Methods

Theory and formal methods 1993 : 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 : us : acid-free : gw : acid-free

Theory and formal methods 1993 : 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 : us : acid-free : gw : acid-free
Paper図書
Geoffrey Burn, Simon Gay and Mark Ryan (eds.)Springer-Verlagc1993
Other Libraries in Japan
  • Note (General)...s of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, held at Chelwood Gate, Susse...
  • Author HeadingImperial College Department of Computing Workshop on Theory and Formal Methods Burn, Geoffrey Gay, Simon Rya...

Reached to the end of result.

RSS