Formal Methods and Software Engineering : 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Formal Methods and Software Engineering : 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Li, Yi (EDT)/ Tahar, Sofiène (EDT)

  • ウェブストア価格 ¥14,386(本体¥13,079)
  • Springer Verlag, Singapore(2023/11発売)
  • ポイント 130pt
  • 海外取次在庫
Verification and Evaluation of Computer and Communication Systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Verification and Evaluation of Computer and Communication Systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Barkaoui, Kamel (EDT)/ Boucheneb, Hanifa (EDT)/ Mili, Ali (EDT)

  • ウェブストア価格 ¥11,303(本体¥10,276)
  • Springer International Publishing AG(2017/08発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formalized Probability Theory and Applications Using Theorem Proving
  • 洋書

Formalized Probability Theory and Applications Using Theorem Proving  言語:ENG

Hasan, Osman/ Tahar, Sofiène

  • Information Science Reference(2015/03発売)
  • ご注文いただけません
Formalized Probability Theory and Applications Using Theorem Proving
  • 洋書

Formalized Probability Theory and Applications Using Theorem Proving  Hardcover,  言語:ENG

Hasan, Osman/ Tahar, Sofiène

  • ウェブストア価格 ¥40,085(本体¥36,441)
  • Idea Group,U.S.(2015/03発売)
  • ポイント 364pt
  • 海外取次在庫