1～1件／全1件 セーフサーチON
  •  
Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2004 (Lecture Notes in Computer Science Vol.2988) （2004. XIV, 608 p. 23,5 cm）
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2004 (Lecture Notes in Computer Science Vol.2988) （2004. XIV, 608 p. 23,5 cm）  Paperback,  言語：ENG

Ed. by Kurt Jensen a. Andreas Podelski

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