年 〜
年

検索結果 5 件

Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008 : proceedings

Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008 : proceedings
紙図書
Francesco Logozzo, Doron A. Peled, Lenore D. Zuck (eds.)Springerc2008
全国の図書館
  • 著者標目VMCAI Logozzo, Francesco Peled, Doron Zuck, Lenore D.

Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008 : San Francisco, USA, January 7-9, 2008 : proceedings. : 9th VMCAI meeting : Jan 2008, San Francisco, CA. (Lecture Notes in Computer Science ; 4905)

Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008 : San Francisco, USA, January 7-9, 2008 : proceedings. : 9th VMCAI meeting : Jan 2008, San Francisco, CA. (Lecture Notes in Computer Science ; 4905)
紙図書
Springerc2008.<M17-08-1774>
国立国会図書館
  • 著者標目..., Doron, 1962- Zuck, Lenore D., 1958- VMCAI 2008 (2008 : San...

Tools and algorithms for the construction and analysis of systems : 11th International Conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings

Tools and algorithms for the construction and analysis of systems : 11th International Conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings
紙図書
Nicolas Halbwachs, Lenore D. Zuck (eds.)Springerc2005
全国の図書館
  • 著者標目TACAS Halbwachs, Nicolas Zuck, Lenore D. European Conferences on Theor...

Verification, model checking, and abstract interpretation : 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings

Verification, model checking, and abstract interpretation : 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings
紙図書
Lenore D. Zuck ... [et al.] (eds.)Springerc2003
全国の図書館
  • 著者標目VMCAI Zuck, Lenore D. Attie, Paul C. Cortesi, Agost...

Verification, model checking, and abstract interpretation : 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings. : Jan 2003, New York, NY. (Lecture Notes in Computer Science ; 2575)

Verification, model checking, and abstract interpretation : 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings. : Jan 2003, New York, NY. (Lecture Notes in Computer Science ; 2575)
紙図書
Springerc2003.<M17-03-814>
国立国会図書館
  • 著者標目Zuck, Lenore D., 1958- VMCAI 2003 (2003 : New...

検索結果は以上です。