Jump to main content

yr 〜
yr

Search results 3

Formal methods and software engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings

Formal methods and software engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings
Paper図書
Shaoying Liu, Tom Maibaum, Keijiro Araki (eds.)Springerc2008
Other Libraries in Japan
  • Author HeadingICFEM Liu, Shaoying Maibaum, Tom 荒木, 啓二郎

Formal methods at the crossroads : from panacea to foundational support : 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers

Formal methods at the crossroads : from panacea to foundational support : 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers
Paper図書
Bernhard K. Aichernig, Tom Maibaum (eds.)Springerc2003
Other Libraries in Japan
  • Author HeadingAichernig, Bernhard K. Maibaum, Tom Anniversary Colloquium of UNU...

Fundamental approaches to software engineering : third International Conference, FASE 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings

Fundamental approaches to software engineering : third International Conference, FASE 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings
Paper図書
Tom Maibaum (ed.)Springerc2000
Other Libraries in Japan
  • Author HeadingFASE Maibaum, Tom European Conferences on Theor...

Reached to the end of result.

RSS