1～1件／全1件 セーフサーチON
  •  
Verification, Model Checking, and Abstract Interpretation, VMCAI 2004 : 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings (Lecture Notes in Computer Science Vol.2937) （2004. XI, 325 p. 23,5 cm）
  • 洋書

Verification, Model Checking, and Abstract Interpretation, VMCAI 2004 : 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings (Lecture Notes in Computer Science Vol.2937) （2004. XI, 325 p. 23,5 cm）  Paperback,  言語：ENG

Ed. by Bernhard Steffen a. Giorgio Levi

  • SPRINGER, BERLIN（2004発売）
  • ご注文いただけません
1～1件／全1件
  •