close
1.

電子ブック
ＥＢ
1. Time for Verification : Essays in Memory of Amir Pnueli
edited by Zohar Manna, Doron A. Peled
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6200
オンライン: http://dx.doi.org/10.1007/978-3-642-13754-9
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Model Checking and Artificial Intelligence : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Randy Goebel, Jorg Siekmann, Wolfgang Wahlster, Doron A. Peled, Michael J. Wooldridge
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5348
オンライン: http://dx.doi.org/10.1007/978-3-642-00431-5
所蔵情報: loading…
3.

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

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

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