年 〜
年

検索結果 2 件

Verification, model checking, and abstract interpretation : 14th international conference, VMCAI 2013 : Rome, Italy, January 20-22, 2013 : proceedings : Jan 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7737. Advanced Research in Computing and Software Science)

Verification, model checking, and abstract interpretation : 14th international conference, VMCAI 2013 : Rome, Italy, January 20-22, 2013 : proceedings : Jan 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7737. Advanced Research in Computing and Software Science)
紙図書
Springerc2013.<M17-13-2103>
国立国会図書館
  • 著者標目VMCAI 2013 (2013 : Rome, Italy) Giacobazzi, Roberto. Berdine, Josh. Mastroeni, Isabella.

Verification, Model Checking, and Abstract Interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings

Verification, Model Checking, and Abstract Interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings
紙図書
Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni(eds.)Springerc2013
全国の図書館

検索結果は以上です。