close
1.

電子ブック
ＥＢ
1. Testing of Software and Communicating Systems : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings
edited by Kenji Suzuki, Teruo Hig
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5047
オンライン: http://dx.doi.org/10.1007/978-3-540-68524-1
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Formal Techniques for Networked and Distributed Systems ?EFORTE 2008 : 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings
edited by Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5048
オンライン: http://dx.doi.org/10.1007/978-3-540-68855-6
所蔵情報: loading…