1～1件／全1件 セーフサーチON
  •  
Tests and Proofs : 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Tests and Proofs : 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Beyer, Dirk (EDT)/ Keller, Chantal (EDT)

  • ウェブストア価格 ¥11,148（本体¥10,135）
  • Springer Nature Switzerland AG（2019/09発売）
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
1～1件／全1件
  •