制御システム・ソフトウェアの形式的検証<br>Formal Verification of Control System Software (Princeton Series in Applied Mathematics)
  • 洋書

制御システム・ソフトウェアの形式的検証
Formal Verification of Control System Software (Princeton Series in Applied Mathematics)
 Hardcover,  言語:ENG

Garoche, Pierre-Loïc

  • ウェブストア価格 ¥14,055(本体¥12,778)
  • Princeton University Press(2019/05発売)
  • ポイント 127pt
  • 海外取次在庫