近くの書店で在庫を調べる
  • 著者赤間世紀
  • 出版社工学社
  • ISBN9784777515646
  • 発行2010年11月

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

>> 続きを表示