close
1.

電子ブック
ＥＢ
1. Formal Methods for Open Object-Based Distributed Systems : 9th IFIP WG 6.1 International Conference FMOODS 2007 Paphos Cyprus June 6-8 2007 Proceedings
edited by Marcello M. Bonsangue Einar Broch Johnsen
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2007
シリーズ名: Lecture Notes in Computer Science ; 4468
オンライン: http://dx.doi.org/10.1007/978-3-540-72952-5
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Formal Methods for Components and Objects : 5th International Symposium FMCO 2006 Amsterdam The Netherlands November 7-102006 Revised Lectures
edited by Frank S. Boer Marcello M. Bonsangue Susanne Graf Willem-Paul Roever
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4709
オンライン: http://dx.doi.org/10.1007/978-3-540-74792-5
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Formal Methods for Components and Objects (vol. 4111) : 4th International Symposium FMCO 2005 Amsterdam The Netherlands November 1-42005 Revised Lectures
edited by Frank S. de Boer Marcello M. Bonsangue Susann
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4111
オンライン: http://dx.doi.org/10.1007/11804192
所蔵情報: loading…