yr 〜
yr

Search results 5

Refinement in Z and object-Z : foundations and advanced applications

Refinement in Z and object-Z : foundations and advanced applications
Paper図書
John Derrick and Eerke BoitenSpringer-Verlagc2001
Other Libraries in Japan
  • Author HeadingDerrick, John Boiten, Eerke

Mathematics of program construction : 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings. : Jul 2002, Dagstuhl, Germany. (Lecture Notes in Computer Science ; 2386)

Mathematics of program construction : 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings. : Jul 2002, Dagstuhl, Germany. (Lecture Notes in Computer Science ; 2386)
Paper図書
Springer2002.<M17-03-93>
National Diet Library
  • Author HeadingBoiten, Eerke, 1966- Moller, Bernhard, 1953...

Integrated formal methods : 4th international conference, IFM 2004 : Canterbury, UK, April 4-7, 2004 : proceedings. : Apr 2004, Canterbury, UK. (Lecture Notes in Computer Science ; 2999)

Integrated formal methods : 4th international conference, IFM 2004 : Canterbury, UK, April 4-7, 2004 : proceedings. : Apr 2004, Canterbury, UK. (Lecture Notes in Computer Science ; 2999)
Paper図書
Springer-Verlagc2004.<M17-04-2965>
National Diet Library
  • Author Heading...ng Laboratory. Boiten, Eerke, 1966- Derrick, John, 1963- S...

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, Graem...

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.