close
1.

電子ブック
ＥＢ
1. Verified Software: Theories, Tools, Experiments : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings
edited by Gary T. Leavens, Peter O’Hearn, Sriram K. Rajamani
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6217
オンライン: http://dx.doi.org/10.1007/978-3-642-15057-9
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Computer Aided Verification (vol. # 3576) : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
edited by Kousha Etessami, Sriram K. Rajamani
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3576
オンライン: http://dx.doi.org/10.1007/b138445
所蔵情報: loading…