close
1.

電子ブック
ＥＢ
1. Foundations of Security Analysis and Design VI : FOSAD Tutorial Lectures
edited by Alessandro Aldini, Roberto Gorrieri
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6858
オンライン: http://dx.doi.org/10.1007/978-3-642-23082-0
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Foundations of Security Analysis and Design V : FOSAD 2007/2008/2009 Tutorial Lectures
edited by Alessandro Aldini, Gilles Barthe, Roberto Gorrieri
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5705
オンライン: http://dx.doi.org/10.1007/978-3-642-03829-7
所蔵情報: loading…