close
1.

電子ブック
ＥＢ
1. Formal Methods and Software Engineering : 9th International Conference on Formal Engineering Methods ICFEM 2007 Boca Raton FL USA November 14-15 2007. Proceedings
Butler Michael ; Larrondo-Petrie Maria M. ; Hinchey Michael G. ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4789
オンライン: http://dx.doi.org/10.1007/978-3-540-76650-6
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. 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…
3.

電子ブック
ＥＢ
3. 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…