close
1.

電子ブック
ＥＢ
1. Formal Methods for Components and Objects : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
edited by Frank S. Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6286
オンライン: http://dx.doi.org/10.1007/978-3-642-17071-3
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Integrated Formal Methods : 7th International Conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009. Proceedings
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Michael Leuschel, Heike Wehrheim
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5423
オンライン: http://dx.doi.org/10.1007/978-3-642-00255-7
所蔵情報: loading…