1～1件／全1件 セーフサーチON
  •  
Computer Aided Verification, CAV 2004 : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings (Lecture Notes in Computer Science Vol.3114) （2004. XII, 536 p. 23,5 cm）
  • 洋書

Computer Aided Verification, CAV 2004 : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings (Lecture Notes in Computer Science Vol.3114) （2004. XII, 536 p. 23,5 cm）  Paperback,  言語：ENG

Ed. by Rajeev Alur and Doron A. Peled

  • ウェブストア価格 ¥25,396（本体¥23,088）
  • SPRINGER, BERLIN（2004発売）
  • ポイント 230pt
  • 海外取次在庫
1～1件／全1件
  •