1～3件／全3件 セーフサーチON
  •  
Tests and Proofs : 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings (Lecture Notes in Computer Science) （2018）
  • 洋書
  • 電子版あり

Tests and Proofs : 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings (Lecture Notes in Computer Science) （2018）  Paperback,  言語：ENG

Dubois, Catherine (EDT)/ Wolff, Burkhart (EDT)

  • ウェブストア価格 ¥11,767（本体¥10,698）
  • Springer International Publishing AG（2018/06発売）
  • ポイント 106pt
  • 海外取次在庫
Tests and Proofs : 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering 6706) （2011. X, 205 S.）
  • 洋書

Tests and Proofs : 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering 6706) （2011. X, 205 S.）  Paperback

Herausgegeben von Gogolla, Martin/ Wolff, Burkhart

  • ウェブストア価格 ¥13,614（本体¥12,377）
  • SPRINGER, BERLIN（2011発売）
  • ポイント 123pt
  • 海外取次在庫
Theorem Proving in Higher Order Logics : 16th International Conference, Tphols 2003, Rome, Italy, September 8-12, 2003 : Proceedings (Lecture Notes in
  • 洋書

Theorem Proving in Higher Order Logics : 16th International Conference, Tphols 2003, Rome, Italy, September 8-12, 2003 : Proceedings (Lecture Notes in  Paperback,  言語：ENG

Tphols 200 (2003 Rome, Italy)/ Wolff, Burkhart (EDT)

  • ウェブストア価格 ¥11,767（本体¥10,698）
  • Springer-Verlag New York Inc（2003/09発売）
  • ポイント 106pt
  • 海外取次在庫
1～3件／全3件
  •