close
1.

電子ブック
ＥＢ
1. Rigorous Engineering of Fault-Tolerant Systems
edited by Michael Butler Cliff Jones Alexander Romanovsky Elena Troubitsyna
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4157
オンライン: http://dx.doi.org/10.1007/11916246
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Integrated Formal Methods : Third International Conference IFM 2002 Turku Finland May 15-18 2002 Proceedings
edited by Michael Butler Luigia Petre Kaisa Sere
出版情報: Berlin Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
シリーズ名: Lecture Notes in Computer Science ; 2335
オンライン: http://dx.doi.org/10.1007/3-540-47884-1
所蔵情報: loading…