Jump to main content

yr 〜
yr

Search results 2

Integrated formal methods : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings

Integrated formal methods : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings
Paper図書
Eerke A. Boiten, John Derrick, Graeme Smith (eds.)Springerc2004
Other Libraries in Japan
  • Author HeadingInternational Conference on Integrated Formal Methods Boiten, Eerke A. Derrick, John Smith, Graeme

Mathematics of program construction : 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings

Mathematics of program construction : 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings
Paper図書
Eerke A. Boiten, Bernhard Möller (eds.)Springerc2002
Other Libraries in Japan
  • Author Heading...m Construction Boiten, Eerke A Möller, Bernhard

Reached to the end of result.

RSS