1～1件／全1件 セーフサーチON
  •  
Automated Technology for Verification and Analysis : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings (Lecture Notes in Computer Science Vol.3299) （2004. XII, 506 p. 23,5 cm）
  • 洋書

Automated Technology for Verification and Analysis : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings (Lecture Notes in Computer Science Vol.3299) （2004. XII, 506 p. 23,5 cm）  Hardcover,  言語：ENG

Ed. by Farn Wang

  • ウェブストア価格 ¥26,468（本体¥24,062）
  • SPRINGER, BERLIN（2004発売）
  • ポイント 240pt
  • 海外取次在庫
1～1件／全1件
  •