close
1.

電子ブック
ＥＢ
1. Runtime Verification : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers
edited by Saddek Bensalem, Doron A. Peled
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5779
オンライン: http://dx.doi.org/10.1007/978-3-642-04694-0
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings
edited by Francesco Logozzo, Doron A. Peled, Lenore D. Zuck
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4905
オンライン: http://dx.doi.org/10.1007/978-3-540-78163-9
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Automated Technology for Verification and Analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
edited by Doron A. Peled, Yih-Kuen Tsay
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3707
オンライン: http://dx.doi.org/10.1007/11562948
所蔵情報: loading…