1.

図書
図書
1. Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings
Jim Davies, Wolfram Schulte, Mike Barnett (eds.)
出版情報: Berlin : Springer, c2004
シリーズ名: Lecture notes in computer science ; 3308
所蔵情報: loading…
2.

図書
図書
2. Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings
Jin Song Dong, Jim Woodcock (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2885
所蔵情報: loading…
3.

図書
図書
3. Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings
Chris George, Huaikou Miao (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2495
所蔵情報: loading…
4.

図書
図書
4. Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings
Zhiming Liu, Jifeng He (eds.)
出版情報: Berlin : Springer, c2006
シリーズ名: Lecture notes in computer science ; 4260
所蔵情報: loading…