Jump to main content

yr 〜
yr

Search results 6

BCS-FACS 7th Refinement Workshop : proceedings of the BCS-FACS 7th Refinement Workshop, Bath, 3-5 July 1996 : pbk

BCS-FACS 7th Refinement Workshop : proceedings of the BCS-FACS 7th Refinement Workshop, Bath, 3-5 July 1996 : pbk
Paper図書
He Jifeng, John Cooke, and Peter Wallis (eds.)Springerc1997
Other Libraries in Japan
  • Author HeadingRefinement Workshop Jifeng, He Cooke, John Wallis...

6th Refinement Workshop : proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5-7 January 1994

6th Refinement Workshop : proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5-7 January 1994
Paper図書
David Till (ed.)Springer-Verlagc1994
Other Libraries in Japan
  • Alternative TitleSixth Refinement Workshop
  • Alternative TitleSixth Refinement Workshop
  • Author HeadingRefinement Workshop Till, David British Computer ...

5th Refinement Workshop : proceedings of the 5th Refinement Workshop, organized by BCS-FACS, London, 8-10 January 1992 : New York : Berlin

5th Refinement Workshop : proceedings of the 5th Refinement Workshop, organized by BCS-FACS, London, 8-10 January 1992 : New York : Berlin
Paper図書
Cliff B. Jones, Roger C. Shaw and Tim Denvir (eds.)Springer-Verlagc1992
Other Libraries in Japan
  • Alternative TitleFifth Refinement Workshop
  • Alternative TitleFifth Refinement Workshop
  • Author HeadingRefinement Workshop Jones, Cliff B. Shaw, Roger C...

3rd Refinement Workshop : proceedings of the 3rd Refinement Workshop (organised by BCS-FACS, and sponsored by IBM UK Laboratories, Hursley Park and the Programming Research Group, University of Oxford) 9-11 January 1990, Hursley Park : us : gw

3rd Refinement Workshop : proceedings of the 3rd Refinement Workshop (organised by BCS-FACS, and sponsored by IBM UK Laboratories, Hursley Park and the Programming Research Group, University of Oxford) 9-11 January 1990, Hursley Park : us : gw
Paper図書
Carroll Morgan and J.C.P. Woodcock (eds.)Springerc1991
Other Libraries in Japan
  • Alternative TitleThird Refinement Workshop
  • Alternative TitleThird Refinement Workshop
  • Author HeadingRefinement Workshop Morgan, Carroll Woodcock, Jim...

4th Refinement Workshop : proceedings of the 4th Refinement Workshop

4th Refinement Workshop : proceedings of the 4th Refinement Workshop
Paper図書
organised by BCS-FACS, 9-11 January 1991, Cambridge ; Joseph M. Morris and Roger C. Shaw, edsSpringer-Verlagc1991
Other Libraries in Japan
  • Alternative TitleFourth Refinement Workshop
  • Alternative TitleFourth Refinement Workshop
  • Author HeadingRefinement Workshop Morris, Joseph M. Shaw, Roger...

International Refinement Workshop and Formal Methods Pacific 1998 : proceedings of IRW/FMP'98 29 September - 2 October 1998 Canberra, Australia softcover

International Refinement Workshop and Formal Methods Pacific 1998 : proceedings of IRW/FMP'98 29 September - 2 October 1998 Canberra, Australia softcover
Paper図書
edited by J. Grundy, M. Schwenke, T. VickersSpringer-Verlag1998
Other Libraries in Japan
  • Author HeadingInternational Refinement Workshop and Formal Methods Pacific Gr...

Reached to the end of result.

RSS