1～2件／全2件 セーフサーチON
  •  
Formal Methods: Applications and Technology; 11th International Workshop, Fmics 2006 and 5th International Workshop, Pdmc 2006 Bonn, Germany, August 26-27, and August 31, 2006 Revised Selected Papers. Lecture Notes in Computer Science, Volume 4346. (
  • 洋書

Formal Methods: Applications and Technology; 11th International Workshop, Fmics 2006 and 5th International Workshop, Pdmc 2006 Bonn, Germany, August 26-27, and August 31, 2006 Revised Selected Papers. Lecture Notes in Computer Science, Volume 4346. (  言語：ENG

Brim, Lubo (EDT)/ Haverkort, Boudewijn (EDT)/ Leucker, Martin (EDT)

  • Springer（2007/01発売）
  • ご注文いただけません
Formal Methods Applications and Technology : 11th International FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Germany, 2006, Revised Selected (Lecture Notes in Computer Science) 〈Vol. 4346〉
  • 洋書

Formal Methods Applications and Technology : 11th International FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Germany, 2006, Revised Selected (Lecture Notes in Computer Science) 〈Vol. 4346〉  Paperback,  言語：ENG

Brim, Lubos (EDT)/ Haverkort, Boudewijn (et al., EDT)

  • ウェブストア価格 ¥11,767（本体¥10,698）
  • Springer（2007/03発売）
  • ポイント 106pt
  • 海外取次在庫
1～2件／全2件
  •