近くの書店で在庫を調べる
  • Author赤間世紀
  • Publisher工学社
  • ISBN9784777515646
  • Publish Date2010年11月

仕様記述言語「Z」 / 「仕様」の数学的構造化に「自然言語」を使う!

>> 続きを表示