ご注文前に必ずご確認ください＜商品説明＞＜収録内容＞基調講演 記号とは何か?記号論と情報科学1 ソフトウェア設計2 ソフトウェア開発支援3 メトリクス4 プログラム解析5 仕様・検証6 形式手法7 実証的ソフトウェア開発8 モデル検査・テスト9 デバッグ支援10 ソフトウェア開発プロセス11 モデル表現と変換12 ライブ論文＜商品詳細＞商品番号：NEOBK-1595423Okano Kozo / Hen Sekizawa Shun Tsuru / Hen / Software Kogaku No Kiso 20 (Lecture Note / Software Gaku)メディア：本/雑誌発売日：2013/11JAN：9784764904521ソフトウェア工学の基礎 20[本/雑誌] (レクチャーノート/ソフトウェア学) (単行本・ムック) / 岡野浩三/編 関澤俊弦/編2013/11発売